К. Куратовский в Топология, том 1,

24, п. II приводит такую теорему
Теорема. Любое вполне упорядоченное семейство возрастающих или убывающих множеств, которые все замкнуты или все открыты, счётно. (рассматриваются множества в регулярных

пространствах со счетной базой, или что то же, множества в сепарабельных метрических пространствах)
Далее эта теорема обобщается на так называемые разложимые множества. В полных сепарабельных метрических пространствах разложимые множества совпадают с множествами, одновременно являющимися

и

.
Теорема. Любое вполне упорядоченное семейство разложимых возрастающих (или убывающих) множеств счётно.Вопрос: кто-нибудь встречал аналогичные теоремы для других классов множеств?