representation theorems, frame of open sets, biframes, Linearly ordered topological spaces, generalized ordered spaces, and partially ordered spaces, nucleus, Priestley spaces, Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.), bitopological spaces, Priestley's duality, ordered topological space, Bitopologies, Ordered topological structures, Heyting algebras (lattice-theoretic aspects), subframes of complete Boolean algebras, Categorical methods in general topology, adjunction, join-continuous frames