Closed monoid subset

Meta

context $\langle\!\langle M,*\rangle\!\rangle$ … monoid
definiendum $S\in$ it
for all $x,y\in S$
postulate $x*y\in S$

Subset of

Monoid

Link to graph
Log In
Improvements of the human condition
limeGraphxioms