Mantido pelo grupo "Topologia do Interior"
Seja $x\in X$ para cada $\tau\in^{m}j$ tome $k_{\tau}$ tal que $x\in U_{\tau^{\frown}k_{\tau}}$ e seja $k=max\{k_{\tau}\}$.