Let be Topological Spaces
We say that is continuous if
for any open :

is open in .

Lemma

Let and be Metric Spaces.
Then is continuous
if and only if