upper set

subset of a preordered set that includes all successors of its elements

en-US/ˈʌpɚ ˈsɛt/
en-GB/ˈʌpə ˈsɛt/

Kategoriler:

subset