In mathematics, an upper set of a partially ordered set {\displaystyle } is a subset S\subseteq X with the following property: if s is in S and if x in X is larger than s, then x is in S. In other words, ... Wikipedia