Ordered spaces and frames
← Explore properties

Isolated root

P000008

The order has a least element and that point is isolated in the topology.

Recorded examples

ValueIDNameReference
✕S000001The Rieger–Nishimura ladderBy definition
✓S000002Fine general frameBy definition
✕S000003Mardaev framesBy definition
✕S000004WB graph frameBy definition
✓S000005Young lattice Fine frameBy definition
✓S000006Double omega frameBy definition
✕S000007Hyttinen–Martins–Moraschini–QuadrellaroBy definition
✕S000008Bellissima’s constructionBy definition
✕S000009Modified Rieger-Nishimura ladderBy definition
✕S000010Countable forkBy definition
✕S000011Countable co-forkBy definition
✕S000012Deleted top 2-chain spaceBy definition
✕S000013Deleted bottom 2-chain spaceBy definition