Mantido pelo grupo "Topologia do Interior"
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.