In set theory a forcing notion can be a pre order with a largest element or lowest element, depending on the style of the auther.
Port
- 101
- 3