At most countable
P000002The underlying set is finite or countably infinite. This concerns the whole construction, including its limit points, rather than the finite diagram window.
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 |