(=> (instance ?CLASS MutuallyDisjointClass) (equal (GeneralizedIntersectionFn ?CLASS) NullSet))
Next Class: PairwiseDisjointClass Up: Class Previous Class: Set