Add enough implications and counter-examples to place (3)

teorth / equational_theories

A project to map out the relations between different equational theories of Magmas.

https://teorth.github.io/equational_theories/

Apache License 2.0

212 stars 51 forks source link

Closed amirlb closed 1 month ago

amirlb commented 1 month ago

Equation 3 (x = x ∘ x) lies between 4 (x = x ∘ y) and 1 (x = x).

It is incomparable with anything else we have right now.