Es sei ( X , O X ) {\displaystyle {}(X,{\mathcal {O}}_{X})} ein Schema und P ∈ X {\displaystyle {}P\in X} ein Punkt.
Dann gibt es zu jeder offenen Umgebung P ∈ U {\displaystyle {}P\in U} eine offene affine Umgebung P ∈ V ⊆ U {\displaystyle {}P\in V\subseteq U} .
