Niech \(\displaystyle{ W}\) będzie własnością przestrzeni topologicznej \(\displaystyle{ X}\): Pełny układ otoczeń składa się wyłącznie ze zbiorów otwarto-domkniętych.
Jakie jest najwyższe \(\displaystyle{ i}\) takie, że \(\displaystyle{ W}\) implikuje, że \(\displaystyle{ X}\) jest \(\displaystyle{ T_i}\) ?