Upper and lower sets

ID: upper-and-lower-sets

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!