What is "upper set"

n. (context mathematics order theory English) A subset of a poset which contains any ascending chain which starts at any element of itself.

In mathematics, an upper set (also called an upward closed set or just an upset) of a partially ordered set (X,≤) is a subset U with the property that, if x is in U and x≤y, then y is in U.

The dual notion is lower set (alternatively, down set, decreasing set, initial segment, semi-ideal; the set is downward closed), which is a subset L with the property that, if x is in L and y≤x, then y is in L.

The terms order ideal or ideal are sometimes used as synonyms for lower set. This choice of terminology fails to reflect the notion of an ideal of a lattice because a lower set of a lattice is not necessarily a sublattice.