The class of collections of pairwise different individuals.