Library ▹ Essentials ▹ Operations
  • Op(X, Y, Z) (operations)
  • x ∗ y
  • Op (operations)
  • associative
  • commutative
  • left identity
  • right identity
  • identity
  • left absorbing element
  • right absorbing element
  • absorbing element
  • left-distributive
  • right-distributive
  • distributive
  • ∗∣X×A
  • ∗∣A×Y
  • ∗∣A
  • Iterated operations
[View Source]