Semiring

Semiringβ€…β€ŠAβ€…β€ŠβŠ—β€…β€ŠβŠ•\textbf{Semiring} \; A \; \otimes \; \oplus

Ringoidβ€…β€ŠAβ€…β€ŠβŠ—β€…β€ŠβŠ•\textbf{Ringoid} \; A \; \otimes \; \oplus

Semigroupβ€…β€ŠAβ€…β€ŠβŠ•\textbf{Semigroup} \; A \; \oplus

Symmetricβ€…β€ŠAβ€…β€ŠβŠ•\textbf{Symmetric} \; A \; \oplus

Semigroupβ€…β€ŠAβ€…β€ŠβŠ—\textbf{Semigroup} \; A \; \otimes


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