Subset Product with Identity

Theorem
Let $\left({S, \circ}\right)$ be a magma.

Let $\left({S, \circ}\right)$ have an identity element $e$.

Then $e \circ S = S \circ e = S$, where $\circ$ is understood to be the subset product with singleton.

Proof
Thus:
 * $e \circ S = S$

A similar argument shows that:
 * $S \circ e = S$