En funksjon mellom topologiske rom er dersom er en åpen mengde i for hver åpen mengde i .