nLab lower set

Redirected from "downward closed subset".
Contents

Contents

Definition

In a poset or even proset, a lower set LL is a subset that is ‘downward closed’; that is,

  • whenever yxy \leq x and xLx \in L, then yLy \in L.

Lower sets form a Moore collection and so one can speak of the lower set generated by an arbitrary subset AA:

A={y|x,xAyx}. A{\downarrow} = \{ y \;|\; \exists x,\; x \in A \;\wedge\; y \leq x \} .

Sometimes a lower set is called an ‘ideal’, but that term can also mean something more specific (and always does in a lattice).

A lower set is also sometimes called a ‘down set’, but that term can also mean something more specific: the down set of xx is the lower set generated by xx.

The characteristic function of a lower set is precisely a (0,1)-presheaf.

Examples

An inhabited, open lower set of rational numbers (or equivalently of real numbers) determines precisely a lower real number.

See also

Last revised on July 22, 2022 at 08:26:47. See the history of this page for a list of all contributions to it.