Proper filter (set theory)

Redirect to:

• Filter (set theory)#Proper filter