En otras palabras, existen espacios "X" con topología "T", tales que existe una subcolección "B" de "T", tal que "T" es la topología más pequeña que contiene a "B", donde "B" no cubre a "X" todavía.