Open WIKI
Home
Sources
About
Contacts
⯈
☰
Separated morphism
separated morphism
is a
quasi-separated morphism
.