Una familia "β" no vacía de subconjuntos de "X" formará la base de alguna topología si se cumple: