Returns the compare-value of two finite topological spaces with respect to lexicographical
ordering: a positive value if the second space is before the first
space, a negative value if the space is before the second
space, and zero if both are the same.