The property that determines that two given classes are disjoint.