This means that once a consistent set is found, no descendants of that set can be maximal, and that subtree can be pruned from the search space.
consistent subsets that are maximal in their branch of the tree may turn out not to be globally maximal.