. . . . . "The class of collections of pairwise different individuals." . "AllDifferent" .