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 precisely similar argument shows that:
 * $S \circ e = S$