Mantido pelo grupo "Topologia do Interior"
Essa é uma revisão anterior do documento!
Seja \(U\) um aberto não vazio de \(X\). Então \(U \cap (\bigcup \mathcal A) \neq \emptyset\), ou \(\mathcal A\) não seria maximal.