Generic filter

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

Pronunciation

Categories