Binary Operation
Backlinks
Semiring
Shoes and Socks Principle
Jacobi Identity
Eckmann-Hilton Argument
Ring