If and are sites, a functor is cover-preserving (some people say continuous) if whenever is a covering family of an object , its image is a covering family of in .
If is also flat, then it is called a morphism of sites, and induces a geometric morphism between sheaf toposes.