Locally closed immersion (source code)

= Locally closed immersion
{wiki=Immersion_(mathematics)}

A locally closed immersion factors as a closed immersion followed by an open immersion. Equivalently, it identifies its source with a closed subscheme of an open subscheme of the target.