Маленький вопрос по топологии

[SNet]

В процессе изучения топологических структур назрело предположение, которое хотелось бы уточнить:
Пусть $\mathfrak{B}$ - некоторое непустое множество. Верно ли, что класс $\mathfrak{D} = \left\lbrace{\varnothing, \mathfrak{B}, \mathcal{D}}\right\rbrace$, где $\mathcal{D} \subset\mathfrak{B} $ образует в $\mathfrak{B}$ топологическую структуру при любых $\mathfrak{B}, \mathcal{D}$?

[Anton_Peplov]

Проверьте прямо по определению топологического пространства. В одну строчку же задача решается.

[Toucan]

Тема перемещена из форума «Математика (общие вопросы)» в форум «Помогите решить / разобраться (М)»