An open immersion is a morphism of schemes that identifies its source with an open subscheme of its target. It is an isomorphism onto that open subscheme as a locally ringed space.
New to topics? Read the docs here!
New to topics? Read the docs here!