upper set

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