The property that determines the collection of pairwise different individuals in a owl:AllDifferent axiom.