Exhaustive a collection of sets (where each set is a collection of elements) is exhaustive if their union equals the entire space of possible elements