Its known that order topology is completely normal so Lexiographic Ordering on the unit square is also completely normal. Its also known that Lexiographic Ordering on the unit square is not metrizable. I am interested in, is it perfectly normal (can any disjoint closed sets separate by continuous function)? And how to prove that.