In any lattice, $L$, a subset $U$ of $L$ is said to be an upper set if $a \in U$ implies that $b \in U$ for all $b \in L$ satisfying $a \preceq b$, where $\preceq$ refers to the Partial ordering defining the lattice.