Greatest element
P000007The order has a greatest element: a point above every point of the space or frame.
Recorded examples
| Value | ID | Name | Reference |
|---|---|---|---|
| ✕ | S000001 | The Rieger–Nishimura ladder | By definition |
| ✕ | S000002 | Fine general frame | By definition |
| ✓ | S000003 | Mardaev frames | By definition |
| ✕ | S000004 | WB graph frame | By definition |
| ✕ | S000005 | Young lattice Fine frame | By definition |
| ✓ | S000006 | Double omega frame | By definition |
| ✕ | S000007 | Hyttinen–Martins–Moraschini–Quadrellaro | By definition |
| ✕ | S000008 | Bellissima’s construction | By definition |
| ✓ | S000009 | Modified Rieger-Nishimura ladder | By definition |
| ✕ | S000010 | Countable fork | By definition |
| ✓ | S000011 | Countable co-fork | By definition |
| ✕ | S000012 | Deleted top 2-chain space | By definition |
| ✕ | S000013 | Deleted bottom 2-chain space | By definition |