1.Previous
3.Next

is also commonly defined specifically as a lower set which is upward directed. Dually, a filter is an upper set that is directed downward (that is, every finite subset has a lower bound).

For a well-ordered set, a lower set is usually called an initial segment.

Properties

The following properties are stated in terms of upper sets; the corresponding

1.Previous
3.Next