La definición superior es útil si la noción de conjunto abierto está previamente definida.