Ordered spaces and frames

Database explorer

A collection of spaces, frames, and the properties they satisfy. Collected in one place to facilitate analysis, and interactive study.

Explore properties

Explore properties: check different properties of ordered topological spaces and find examples satisfying particular combinations

Explore examples

Explore examples: explore the construction and the properties of specific spaces and frames