. "The property that determines that two given properties are disjoint." . . . . . "propertyDisjointWith" .