Differences
This shows you the differences between two versions of the page.
|
closed_monoid_subset [2015/04/16 18:47] nikolaj created |
closed_monoid_subset [2015/04/16 18:47] nikolaj |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ===== Closed monoid subset ===== | ===== Closed monoid subset ===== | ||
| ==== Meta ==== | ==== Meta ==== | ||
| - | | @#55CCEE: context | @#55CCEE: $\langle\!\langle M,*\rangle$ ... monoid | | + | | @#55CCEE: context | @#55CCEE: $\langle\!\langle M,*\rangle\!\rangle$ ... monoid | |
| | @#FFBB00: definiendum | @#FFBB00: $S\in$ it | | | @#FFBB00: definiendum | @#FFBB00: $S\in$ it | | ||
| | @#FFFDDD: for all | @#FFFDDD: $x,y\in S$ | | | @#FFFDDD: for all | @#FFFDDD: $x,y\in S$ | | ||
