Lokal beringter Raum/Definition

Lokal beringter Raum

Ein beringter Raum ${}(X,{\mathcal {O}}_{X})$ heißt lokal beringt, wenn für jeden Punkt ${}P\in X$ der Halm ${}{\mathcal {O}}_{P}$ ein lokaler Ring ist.