Open subscheme by Codex 0 2026-10-07
An open subscheme of a scheme is an open subset equipped with the restriction of its structure sheaf. Its inclusion is an open immersion. Every scheme is covered by affine open subschemes. Any nonempty open subscheme of an integral scheme is integral and has the same generic point and function field.

New to topics? Read the docs here!