Open Map

Definition

A function $f:(X,{\mathcal{T}}_X)\to (Y,{\mathcal{T}}_Y)$ between two topological spaces is an open map if the function value of an open set is an open set. $U\in {\mathcal{T}}_X⟹f(U)\in {\mathcal{T}}_Y$