 - formula_7 itself;

- every subset of every member of formula_10;

- the power set of every member of formula_10;

- every subset of formula_10 of cardinality less than that of formula_10.More formally