Symmetric Monoidal Preorder

SymmetricMonoidalPreorderβ€…β€ŠXβ€…β€ŠRβ€…β€ŠβŠ—β€…β€ŠI\textbf{SymmetricMonoidalPreorder} \; X \; R \; \otimes \; I

MonoidalPreorderβ€…β€ŠXβ€…β€ŠRβ€…β€ŠβŠ—β€…β€ŠI\textbf{MonoidalPreorder} \; X \; R \; \otimes \; I

Symmetricβ€…β€ŠXβ€…β€ŠβŠ—\textbf{Symmetric} \; X \; \otimes


pred SymmetricMonoidalPreorder(X: set univ, R: univ->univ, op: univ->univ->univ, I: univ) {
  MonoidalPreorder[X,R,op,I]
  Symmetric[X,op]
}

Last updated