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