54F05 Linearly ordered topological spaces, generalized ordered spaces, and partially ordered spaces [See also 06B30, 06F30] 2802