Closed map

Symbol-free definition
A continuous map between topological spaces is termed a closed map if it satisfies the following equivalent properties:


 * The image of any closed subset is closed

Stronger properties

 * Proper map
 * Perfect map

Weaker properties

 * Quotient map (if we assume surjectivity)