Let be a morphism of schemes. Let be the diagonal map. We say that is quasi-separated if is a quasicompact morphism.
A scheme is quasi-separated if the morphism is quasi-separated, i.e. is quasicompact. Every quasi-separated scheme is semiseparated.
Every separated morphism of schemes is quasi-separated; every monomorphism of schemes is separated hence also quasi-separated.
Last revised on December 29, 2023 at 17:42:24. See the history of this page for a list of all contributions to it.