Profinite posets

Abstract

The class of ordered topological spaces which are projective limits of finite partially ordered sets (equipped with the restriction of the product of the discrete topologies) is shown to coincide with the class of compact totally order-disconnected ordered topological spaces. Hence this is another category of spaces equivalent to the category of distributive lattices with zero and unit. © 1972, Australian Mathematical Society. All rights reserved.