Topologische Filter/Umgebungsfilter/Definition

Umgebungsfilter

Es sei ein topologischer Raum und sei eine Teilmenge. Dann nennt man das System

den Umgebungsfilter von .