The property that determines that two given properties are disjoint.