(Read-only view - Sponging disallowed)

The property that determines that two given classes are disjoint.