Disjoint

class proveit.logic.Disjoint(*sets, styles=None)

Bases: proveit.Function

The Disjoint operation defines a property for a collection of sets. It evaluates to True iff the sets are mutually/pairwise disjoint; that is, the intersection of any two of the sets is the empty set. We define this property to be True when given zero or one set (there are no pairs of sets, so all pairs are vacuously disjoint).