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 <gap>.<br>Ogólniej, podstawiając na R rodzinę zbiorów, które są jednocześnie klasy<gap> addytywnej i multyplikatywnej, wnosimy, że <hi rend="italic">jeśli rozkład Q jest typu <gap>, gdzie B jest rodziną zbiorów addytywnej klasy <gap>, to istnieje selektor multyplikatywnej klasy<gap>.</><br> Wniosek. <hi rend="italic">Jeśli pole R jest <gap></> (tzn., że nie tylko skończone, ale również przeliczalne działania dodawania i mnożenia nie wyprowadzają poza R), <hi rend="italic">to każdy rozkład typu</> (czyli, jak mówimy, "<gap> mierzalny") <hi rend="italic">ma selektor R-mierzalny</>, tj. należący do R.<br>Uwaga. Przy założeniach twierdzenia 2 istnieje