Concepts
in set theory, given a collection of dense open subsets of a poset, a filter that meets all sets in that collection
uncommon · Q5532675