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