Bi-Alexandroff spaces
On Homotopy Types of Alexandroff Spaces
A non-commutative version of the first alexandroff decomposition theorem in ordered topological groups