Quandle

Definition
A quandle is defined as a defining ingredient::rack in which every element is idempotent, i.e., $$a^a = a$$ for all $$a$$ in the rack.

Related notions

 * Conjugation rack of a group is a quandle.