Topologische Filter/Umgebungsfilter/Definition

Umgebungsfilter

Es sei $X$ ein topologischer Raum und sei  $M\subseteq X$  eine Teilmenge. Dann nennt man das System

$U(M)=\{U\subseteq X\text{ offen }\mid M\subseteq U\}$

den Umgebungsfilter von $M$.