A proper filter is an upward-closed family of subsets closed under finite intersections and excluding the empty set. This excludes the improper family of all subsets. An ultrafilter is a maximal proper filter.
New to topics? Read the docs here!
New to topics? Read the docs here!