Open map (source code)

= Open map

An open map sends every open set to an open set.

Together, <open and closed maps> describe the two image-set preservation properties.