See Order topology with Dictionary ordering
https://en.wikipedia.org/wiki/Lexicographic_order_topology_on_the_unit_square