open map

Definition

A map from two topological spaces is open if for every subset , is open.

It is kind of like a continuous map, but not “backwards”.