Komplexprodukt

Sei \((M, \cdot)\) ein Magma und \(X, Y \subseteq M\), dann ist das Komplexprodukt definiert als:

\begin{align*} X \cdot Y \coloneqq \{x \cdot y \vert x \in X, y \in Y\} \end{align*}