An open immersion is a morphism of schemes 
that identifies 
with an open subscheme of
. It induces a homeomorphism
onto an open set of 
, and its map on structure sheaves
is the restriction map.
Every open immersion is a scheme immersion. It is the scheme-theoretic analogue of including an open subset into a topological space.
