We begin by adding a new operator to the Mathematical Tool-kit. disj is a predicate which is true of a sets of sets, S, if and only if no two distinct sets in S intersect.
