«
Terminology.
qcqs
[00CC]
We call morphisms that are quasicompact and quasiseparated
qcqs
.