Esto generaliza la definición métrica del espacio: si se comienza con un espacio métrico y define conjuntos abiertos como antes, entonces la familia de todos los conjuntos abiertos formará una topología en el espacio métrico.