Semigroupβ βAβ ββ\textbf{Semigroup} \; A \; \otimesSemigroupAβ
Unitalβ βAβ βββ βI\textbf{Unital} \; A \; \otimes \; IUnitalAβI
pred Monoid(A: set univ, op: univ->univ->univ, I: univ) { Semigroup[A,op] Unital[A,op,I] }
Last updated 1 year ago