Open subscheme
= Open subscheme
An open subscheme of a <scheme> $X$ is an <open subset> $U$ 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>.