В учебнике писано: Топологическое пространство

. Принадлежащие

множества называют открытыми в топологии.
Я не понимаю что такое открытое множество, это ж не значит множество открытым если оно принадлежит в какой-либо топологии?
Дальше есть еще требует доказать что множество открыто тогда и только тогда, когда оно совпадает со своей внутренностью. Как это доказать?