
19.7.5 Свойства множеств
Условие: Каждое открытое не совпадающее с \( \mathbb{R} \) подмножество прямой является объединением не более чем счётного множества непересекающихся интервалов и (возможно) одного или двух открытых лучей.