eine Eigenschaft, die lokal erfüllt ist. Eine Eigenschaft, die man einem topologischen Raum T zuordnen kann, heißt lokal in einem Punkt x₀ ∈ T, falls jede Umgebung U von x₀ eine Umgebung V von x₀ enthält, so, daß V diese Eigenschaft hat.

Siehe auch lokale Eigenschaften einer Funktion.