Explícitamente, dado un punto "x" en un conjunto abierto propio "U (vecindad de x)" existe un número finito de conjuntos "S", …, "S" de "B", tales que la intersección de estos conjuntos contiene a "x" y está contenida en "U".