The general notion is that of
Special cases include the notion * quasi-separated morphism of schemes
which is a bit weaker than