 It was introduced by .If formula_5 is an formula_22-sized collection of countable subsets of formula_22, and if the continuum hypothesis holds, then there is an formula_22-sized formula_1-subsystem.Let formula_26 enumerate formula_5.