Definition:Complex (Abstract Algebra)

Definition
Let $\left({G, \circ}\right)$ be a group.

Let $A, B \subseteq G$ be subsets of $G$.

The complex $A \circ B$ is defined as the subset product of two subsets of an algebraic structure.

That is:
 * $A \circ B := \left\{{a \circ b: a \in A, b \in B}\right\}$