A filter base is a nonempty family of nonempty subsets directed under reverse inclusion. Its upward closure is a proper filter. Every finite intersection contains a base member, so it has the finite intersection property.
New to topics? Read the docs here!