MonoidalPreorderβ βXβ βRβ βββ βI\textbf{MonoidalPreorder} \; X \; R \; \otimes \; IMonoidalPreorderXRβI
Symmetricβ βXβ ββ\textbf{Symmetric} \; X \; \otimesSymmetricXβ
pred SymmetricMonoidalPreorder(X: set univ, R: univ->univ, op: univ->univ->univ, I: univ) { MonoidalPreorder[X,R,op,I] Symmetric[X,op] }
Last updated 1 year ago