Magmaβ βAβ ββ\textbf{Magma} \; A \; \otimesMagmaAβ
β(x,y,zβX:(xβy)βz=xβ(yβz))\forall(x,y,z \in X : (x \otimes y) \otimes z = x \otimes (y \otimes z))β(x,y,zβX:(xβy)βz=xβ(yβz))
pred Semigroup(A: set univ, op: univ->univ->univ) { Magma[A,op] all x,y,z: A | op[op[x,y],z] = op[x,op[y,z]] }
Last updated 1 year ago