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 ogół biorąc - nie jeden selektor klasy &lt;gap&gt; dla rozkładu Q - lecz selektorów klasy &lt;gap&gt; spełniające "dodatkowe warunki" przez nas postawione. W szczególności zachodzi twierdzenie następujące.<br>Twierdzenie I.3. &lt;hi rend="italic"&gt;Niech B oznacza rodzinę podzbiorów borelowskich danej przestrzeni (polskiej) X i niech Q będzie nieprzeliczalnym rozkładem typu B przestrzeni X na zbiory zwarte. Niech Y będzie analitycznym podzbiorem przestrzeni C(X)&lt;/&gt; (tj. przestrzeni