"disjointWith" . . . . . "The property that determines that two given classes are disjoint." .