Separated scheme (source code)

= Separated scheme

A scheme over a base $S$ is separated when its structure morphism to $S$ is a <separated morphism>. An absolute scheme is usually called separated when it is separated over $\operatorname{Spec}\mathbb Z$.