This is an old revision of the document!
Induced magma power set magma
Set
| context | $\langle\!\langle M,* \rangle\!\rangle$ … magma |
| definiendum | $\langle\!\langle {\mathcal P}M,\star \rangle\!\rangle$ |
| definition | $\star\in$ binary operation on ${\mathcal P}M$ |
| definition | $X\star Y:=\{x*y\ |\ x\in X, y\in Y\}$ |
Discussion
When talking about left cosets etc., people write $xS$ for $\{x\}S$.
Reference
Wikipedia: Magma
Requirements
