§ Almost universal class
- A universal class is one that contains all subsets as elements.
- A class is almost universal if every subset of is a a subset of some element of . But note that does not need to have all subsets as elements.
- is almost universal if for any subset (where is a set), there is some such that , but in itself need not be in .