AllDifferent

The class of collections of pairwise different individuals.

• Class