Show that any basic open set about a point on the "top edge," that is, a point of form (a, 1), where a < 1, must intersect the "bottom edge."
Background:
Definition- The lexicographic square is the set X = [0,1] \times [0,1] with the dictionary, or lexicographic, order. That is (a, b) <...