generic filter
Sign in to savein set theory, given a collection of dense open subsets of a poset, a filter that meets all sets in that collection
in set theory, given a collection of dense open subsets of a poset, a filter that meets all sets in that collection