Para alguna subcolección "S" del conjunto de partes P("X"), existe una única topología que tiene a "S" como una subbase.