Quandle

This article defines a property that can be evaluated for a magma, and is invariant under isomorphisms of magmas.
View other such properties

Definition

A quandle is defined as a 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.