Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
induced_magma_power_set_magma [2015/04/16 19:02] nikolaj |
induced_magma_power_set_magma [2015/04/16 19:05] nikolaj |
||
|---|---|---|---|
| Line 4: | Line 4: | ||
| | @#FFBB00: definiendum | @#FFBB00: $\langle\!\langle {\mathcal P}M,\star \rangle\!\rangle$ | | | @#FFBB00: definiendum | @#FFBB00: $\langle\!\langle {\mathcal P}M,\star \rangle\!\rangle$ | | ||
| | @#FF9944: definition | @#FF9944: $\star\in$ binary operation on ${\mathcal P}M$ | | | @#FF9944: definition | @#FF9944: $\star\in$ binary operation on ${\mathcal P}M$ | | ||
| - | | @#FF9944: definition | @#FF9944: $X\star Y:=\{x*y\ |\ x\in X, y\in Y\}$ | | + | | @#FF9944: definition | @#FF9944: $S\star T:=\{x*y\ |\ x\in S, y\in T\}$ | |
| ----- | ----- | ||
| Line 15: | Line 15: | ||
| ----- | ----- | ||
| - | === Requirements === | + | === Subset of === |
| + | [[Magma]] | ||
| + | === Requirements* === | ||
| [[Magma]] | [[Magma]] | ||
