Semiring

$\textbf{Semiring} \; A \; \otimes \; \oplus$

---

$\textbf{Ringoid} \; A \; \otimes \; \oplus$

$\textbf{Semigroup} \; A \; \oplus$

$\textbf{Symmetric} \; A \; \oplus$

$\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]
}