Ringoidβ βAβ βββ ββ\textbf{Ringoid} \; A \; \otimes \; \oplusRingoidAββ
Semigroupβ βAβ ββ\textbf{Semigroup} \; A \; \oplusSemigroupAβ
Symmetricβ βAβ ββ\textbf{Symmetric} \; A \; \oplusSymmetricAβ
Semigroupβ βAβ ββ\textbf{Semigroup} \; A \; \otimesSemigroupAβ
pred Semiring(A: set univ, tms,pls: univ->univ->univ){ Ringoid[A,tms,pls] Semigroup[A,pls] Symmetric[A,pls] Semigroup[A,tms] }
Last updated 1 year ago