Definition 1.1.28.  Let S be a set, T ⊆ S, let pI be a proposition for each I ⊆ S. We define:
T is a maximal subset I of S such that pI  :⇔  pT and ∀ I ⊆ S s.t. pI and T ⊆ I : T = I