Convergent filter
Redirect to:
Filters in topology#Convergent filter