It's known that order topology is completely normal, so the lexicographic ordering on the unit square is also completely normal. It's also known that the lexicographic ordering on the unit square is not metrizable. I am interested in, is it perfectly normal (can any disjoint closed sets be separated by a continuous function)? And how to prove that.