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 R), &lt;hi rend="italic"&gt;to każdy rozkład typu&lt;/&gt; (czyli, jak mówimy, "&lt;gap&gt; mierzalny") &lt;hi rend="italic"&gt;ma selektor R-mierzalny&lt;/&gt;, tj. należący do R.<br>Uwaga. Przy założeniach twierdzenia 2 istnieje - na