toIPA
Home
Blog
Category
Filter
in order theory, a nonempty, downward‐directed, upward‐closed subset of a partially ordered set
Pronunciation
/ˈfɪltər/
/ˈfɪltə/
Categories
non-empty set
partially ordered set