upper set

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

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

カテゴリ：

subset