metryczna, ośrodkowa i zupełna).<br>Literą Q oznaczać będziemy &lt;hi rend="italic"&gt;rozkład&lt;/&gt; przestrzeni X na zbiory domknięte rozłączne i niepuste; ten sam znak oznaczać też będzie rodzinę tych zbiorów. &lt;page nr=3&gt;<br> Mając daną rodzinę R podzbiorów przestrzeni X, mówić będziemy, że rozkład Q jest &lt;hi rend="italic"&gt;typu&lt;/&gt; R&lt;hi rend="upper"&gt;-&lt;/&gt;, jeśli spełniony jest warunek &lt;gap&gt; dla każdego zbioru otwartego &lt;gap&gt; <br>Podobnie : Q jest &lt;hi rend="italic"&gt;typu&lt;/&gt; R&lt;hi rend="upper"&gt;+&lt;/&gt; , jeśli &lt;gap&gt; dla każdego zbioru domkniętego &lt;gap&gt; (przy czym (-R) oznacza rodzinę zbiorów postaci X-Z, gdzie &lt;gap&gt; ).<br> W wypadku, R oznacza rodzinę wszystkich podzbiorów &lt;hi rend="italic"&gt;otwartych&lt;/&gt; przestrzeni X, warunek R&lt;hi rend="upper"&gt;-&lt;/&gt; oznacza &lt;hi rend="italic"&gt;półciągłość dolną&lt;/&gt; rozkładu Q, zaś R&lt;hi rend="upper"&gt;+&lt;/&gt; oznacza &lt;hi rend="italic"&gt;półciągłość górną&lt;/&gt; tego rozkładu.<br> Zachodzi twierdzenie następujące.<br> Twierdzenie I.1. &lt;hi rend="italic"&gt;Dla każdego