continuous function

morphism between topological spaces