  We define a relation that describes the ternary commutator for congruence
modular varieties. Properties of this relation are used to investigate the
theory of the higher commutator for congruence modular varieties.
