Construction viewer · Ordered spaces and frames

Skip to construction

ℰOrdered spaces and frames

Database explorer Interactive proofs References About

Construction

Construction

Motivation

···

Coming soon

OrderColoursConvergenceLabels

OMISSION GRAPH

Choose an edge to see the point it creates.

Two omitted endpointsSuccessors in the upper layer

{p}{q}{p,q}∅

Jump to stage

MATHEMATICAL DETAILS