Topologischer Raum/Filter/Konvergenz/Definition

Konvergenz (Filter)

Es sei ${}X$ ein topologischer Raum, ${}F$ ein topologischer Filter und ${}x\in X$ ein Punkt. Man sagt, dass ${}F$ gegen ${}x$ konvergiert, wenn

${}U(x)\subseteq F\,$

gilt.