A function between convergence spaces is continuous if for any filter such that , it follows that , where is the filter generated by the filterbase .
A continuous map between locales is simply a frame homomorphism in the opposite direction. Equivalently (via the adjoint functor theorem), it may be defined as a homomorphism of inflattices whose right adjoint preserves finitary meets (and hence is a frame homomorphism).
Since continuity is defined in terms of preservation of property (namely preserving “openness” under preimages), it is natural to ask what other properties they preserve.
Also, when a property is not always preserved it is useful to label those maps which do preserve it for closer study.
The preimage of a compact set need not be compact; a continuous map for which this is true is known as a proper map.
The image of an closed set need not be closed; a continuous map for which this is true is said to be an closed map. (Technically, a closed map is any function with just this property.)
Although these don’t make sense for arbitrary topological spaces (convergence spaces, locales, etc), they are special kinds of continuous maps in contexts such as metric spaces: