Open and closed maps (source code)

= Open and closed maps
{wiki}

An <open map> sends each <open set> to an <open set>; a closed map sends each <closed set> to a <closed set>. These properties concern images, whereas <continuity> concerns inverse images of open sets. Neither openness nor closedness alone implies continuity.