Integres Schema/Injektive Restriktionen/Fakt

In einem integren Schema

sind die Restriktionsabbildungen

$\Gamma (U,{\mathcal {O}}_{X})\longrightarrow \Gamma (V,{\mathcal {O}}_{X})$

zu ${}\emptyset \neq V\subseteq U\subseteq X$ injektiv.

Zum Beweis, Alternativen Beweis erstellen