Luego, dicho complemento es un conjunto abierto.