Infinite cancellative commutative monoids

2 unique, 10 total

Σ#PresentationPropertiesDescriptionφ
37⟨a, b | aa=b⟩Can Com Infℕ8
422⟨a, b | ba=ab⟩Can Com Infℕ ⊕ ℕ