All Questions

A left shelf $(S, \rhd)$ is a magma with the left self-distributive law: $$ \forall x, y, z \in S: x \rhd (y \rhd z) = (x \rhd y) \rhd (x \rhd z). $$ Shelves are generalization of racks and quandles ...

(This is a follow-up question; the original question was about shelves.) A rack $(R, \rhd, \lhd)$ is a set $R$ with two binary operations $\rhd$ and $\lhd$ such that for all $x, y, z \in R$: $x \rhd ...