# Differences

This shows you the differences between two versions of the page.

 submonoid [2015/04/16 18:51]nikolaj submonoid [2015/04/16 22:10]nikolaj Both sides previous revision Previous revision 2015/04/16 22:10 nikolaj 2015/04/16 22:10 nikolaj 2015/04/16 18:51 nikolaj 2015/04/16 18:50 nikolaj 2015/04/16 18:50 nikolaj created Next revision Previous revision 2015/04/16 22:10 nikolaj 2015/04/16 22:10 nikolaj 2015/04/16 18:51 nikolaj 2015/04/16 18:50 nikolaj 2015/04/16 18:50 nikolaj created Line 3: Line 3: | @#55CCEE: context ​    | @#55CCEE: $\langle\!\langle M,​*\rangle\!\rangle$ ... monoid | | @#55CCEE: context ​    | @#55CCEE: $\langle\!\langle M,​*\rangle\!\rangle$ ... monoid | | @#FFBB00: definiendum | @#FFBB00: $\langle\!\langle S,​*\rangle\!\rangle\in$ it | | @#FFBB00: definiendum | @#FFBB00: $\langle\!\langle S,​*\rangle\!\rangle\in$ it | - | @#AAFFAA: inclusion ​  | @#AAFFAA: $S\in$ closed monoid subset | + | @#AAFFAA: inclusion ​  | @#AAFFAA: $S\in$ closed monoid subset ​of $\langle\!\langle M,​*\rangle\!\rangle$ ​| | @#FFFDDD: exists ​     | @#FFFDDD: $e\in S$ | | @#FFFDDD: exists ​     | @#FFFDDD: $e\in S$ | - | @#55EE55: postulate ​  | @#55EE55: $e$ ... unit w.r.t. ​$\langle\!\langle M,​*\rangle\!\rangle$ | + | @#55EE55: postulate ​  | @#55EE55: $e$ ... unit of $\langle\!\langle M,​*\rangle\!\rangle$ | ----- -----