Algebraic space

generalization of a scheme; an étale equivalence relation on a scheme; a sheaf of sets on the big étale site with representable diagonal morphism and a surjective étale morphism from a scheme