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.

Articles by others on the same topic (0)

There are currently no matching articles.