Morphisme séparé

Un morphisme séparé est un morphisme de schémas X → S {\displaystyle X\to S} tel que la diagonale de X → X × S X {\displaystyle X\to X\times _{S}X} est une partie fermée. On dit qu'un S {\displaystyle S} -schéma X {\displaystyle X} est séparé si son morphisme …