Меня смущает "интервал

" у вас, ведь

-- не точки, а пары точек. Но идею я, кажется, уловил.
Для любого элемента

существует элемент

такой, что между ними бесконечное число других элементов: в качестве

можно взять

. Для

это уже не верно: например, для элемента

нельзя найти такого элемента, чтобы между ними было бесконечное число членов (второй координате некуда "опускаться").
Предположим, что существует изоморфизм

. Тогда любые два элемента

и

из первого множества должны переходить в элементы

и

второго. Если между

и

имеется бесконечное число других элементов, то между

и

должно быть столько же. Но в первом абзаце мы показали, что такое не всегда возможно. Противоречие.
P. S.
Хорхе, не могли бы вы посмотреть ещё
предыдущую задачку.