Definition. open embedding [00BP]

An open embedding is a morphism that factors as

where the first map is an isomorphism and the second is the inclusion of the open set into (as a ringed space). In this situation, we often write .