separated scheme

scheme whose canonical morphism to Spec(ℤ) is separated

affine scheme
1