Una subfamila Bc(x) de la familia Vc(x) de vecindades de x, es un sistema fundamental de vecindades de x, si para V vecindad de Vc(x) existe una vecindad U de Bc(x) tal que U sea subconjunto de V.