Topologische Filter/Umgebungsfilter/Definition

Umgebungsfilter

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

den Umgebungsfilter von .