Loading [MathJax]/jax/output/HTML-CSS/jax.js
Closed monoid subset
Meta
context
⟨
⟨
M
,
∗
⟩
⟩
… monoid
definiendum
S
∈
it
for all
x
,
y
∈
S
postulate
x
∗
y
∈
S
Subset of
Monoid