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