Dados espacios topológicos "X" y "Y", una función "f" de "X" "a Y" es "función continua" si la preimagen de cada conjunto abierto en "Y" es abierto en "X".