How are called 
>monotone maps of partially ordered sets such that the image of a lower set is a lower set? 

More precisely, I am interested in maps $f:X\rightarrow Y$ of preorders such that
(i) $x\leq y$ implies $f(x)\leq f(y)$ 
(ii) $x\leq f(y)$ implies there is $x'\leq y$ such that $x=f(x')$.

Is there a classification of such maps between finite preorders? 
Is there a name for them?

The motivation for the question is that these are equivalent
to closed maps of finite topological spaces.