EntityQ17131030· pop 6separated morphismscheme morphism 𝑓: 𝑋→𝑌 whose diagonal map 𝑋 → 𝑋 ×_𝑌 𝑋 is a closed immersionCategoriesPrintworthy redirects