espace algébrique

concept un schéma U avec un sous-schéma fermé R⊂U×U satisfaisant les conditions suivantes : 1. R est une relation d'équivalence ; 2. les projections R→U sur chaque facteur sont des morphismes étales de schémas