Umgebung (Topologie)

eine Teilmenge U eines topologischen Raumes (X, T ), die eine den Punkt p aus X oder die Teilmenge M von X enthaltende offene Teilmenge O von X umfasst, also p ∊ O ⊆ U beziehungsweise M ⊆ O ⊆ U. In diesem Fall ist U Umgebung von p beziehungsweise M.