zbiorów należących do R). &lt;hi rend="italic"&gt;Niech Q będzie rozkładem przestrzeni &lt;gap&gt;, niech przy tym zbiory otwarte należą do &lt;gap&gt;.&lt;/&gt; Wówczas istnieje dla Q selektor klasy &lt;gap&gt; (tzn. przeliczalny iloczyn zbiorów należących do R).<br>Jak widać, twierdzenie I.1 wynika z twierdzenia I.2 przez podstawienie na R rodziny wszystkich zbiorów, które są równocześnie &lt;gap&gt;.<br>Ogólniej, podstawiając na R rodzinę zbiorów, które są jednocześnie klasy&lt;gap&gt; addytywnej i multyplikatywnej, wnosimy, że &lt;hi rend="italic"&gt;jeśli rozkład Q jest typu &lt;gap&gt;, gdzie B jest rodziną zbiorów addytywnej klasy &lt;gap&gt;, to istnieje selektor multyplikatywnej klasy&lt;gap&gt;.&lt;/&gt;<br> Wniosek. &lt;hi rend="italic"&gt;Jeśli pole R jest &lt;gap&gt;&lt;/&gt; (tzn., że nie tylko skończone, ale również przeliczalne działania dodawania i mnożenia nie wyprowadzają poza