Hyttinen–Martins–Moraschini–Quadrellaro
S000007✓ Yes ✕ No — Not recorded
| Value | ID | Name | Reference |
|---|---|---|---|
| ✓ | P000000 | Priestley space | Hyttinen, Martins, Moraschini and Quadrellaro (2026), Definition 4.1. |
| ✓ | P000001 | Esakia space | Hyttinen, Martins, Moraschini and Quadrellaro (2026), Definition 4.1. |
| ✓ | P000002 | At most countable | By definition |
| ✕ | P000003 | Finite | By definition |
| ✓ | P000004 | Rooted | By definition |
| ✓ | P000005 | Noetherian | By definition |
| ✓ | P000006 | Finite width | By definition |
| ✕ | P000007 | Greatest element | By definition |
| ✕ | P000008 | Isolated root | By definition |
| ✕ | P000009 | Discrete | By definition |
| ✓ | P000010 | bi-Esakia space | Hyttinen, Martins, Moraschini and Quadrellaro (2026), Definition 4.1. |
| ✕ | P000011 | Finite depth | By definition |
| ✓ | P000012 | Clopen maximum | By definition |
| ✓ | P000013 | KM space | Hyttinen, Martins, Moraschini and Quadrellaro (2026), Definition 4.1. |
| ✓ | P000014 | Extremally order-disconnected | Hyttinen, Martins, Moraschini and Quadrellaro (2026), Definition 4.1. |
| ✕ | P000015 | Extremally disconnected | By definition |
| ✓ | P000016 | Finite incomparability degree | By definition |