In a partially ordered set , an upper set satisfies and ; a lower set satisfies and . The complement of a set exchanges the two conditions: if and , then would force , so is lower. In a Boolean lattice ordered by inclusion, these are the up-set and down-set conditions.
New to topics? Read the docs here!