Semigroup

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

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

βˆ€(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))


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