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