Locally closed immersion (source code)

= Locally closed immersion

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.