Let $S$ be a collection of disjoint sets. Let a binary operation '*' defined $\forall x,y$ each belonging to two different sets or a same set in $S$ with the property that $z=x*y$ belongs to some set in $S$ . Let $\forall A_1,A_2 \in S$ a binary operation $ \otimes$ is defined between $A_1,A_2$ as $B=A_1 \otimes A_2$ as the collection of all $z=(x*y)$ where $x\in A_1,y\in A_2$. Now the set $S$ is closed under the binary operation $\otimes$.
I want to study the properties of such a set $S$ under the operation $\otimes$.My question is what is the subject in mathematics which deals with such a situation ?