Quandle

An idempotent rack: a set X with a binary operation ▷ that is left self-distributive, each left translation L_a is a bijection, and additionally a ▷ a = a for all a. Quandles abstract the conjugation operation and are widely used in knot invariants.