Proper filter
Redirect to:
Filter (mathematics)#proper filter