Finite
P000003The underlying set has finitely many points. Finite windows used to draw an infinite construction do not make this property true.
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 |