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