Lokal beringter Raum/Definition

Lokal beringter Raum

Ein beringter Raum heißt lokal beringt, wenn für jeden Punkt der Halm ein lokaler Ring ist.