В отрывке из Яглома по последней приведенной ссылке содержится идея взаимно-однозначного соответствия между множеством отрезков, не параллельных осям координат (у Яглома на рисунках они представлены отрезком

, который мы будем рассматривать как направленный отрезок с началом

и концом

) и множеством определенных прямоугольников (у Яглома на рисунках представлены прямоугольником

). Значит, мы можем попробовать заменить рассмотрение таких отрезков рассмотрением соответствующих им прямоугольников.
В конце концов нас будет интересовать "обратная задача", о которой пишет Артин:
http://www.px-pict.com/10/3/4/16/2.html(только вместо точек и прямых мы попробуем аксиоматизировать "мир прямоугольников")
Пока же в качестве "аналитических двойников" для прямоугольников выберем некоторые упорядоченные пары, элементы которых сами являются упорядоченными парами некоторых вещественных чисел.
При этом нам будет полезно определение "вектора" как некоторого класса эквивалентных между собой направленных отрезков примерно в духе 2-го определения у Любецкого:
http://www.px-pict.com/9/5/2/5/3/8/1.htmlЗначит, исходим из множества

всех вещественных чисел, которые, как указывает П. С. Александров, "читатель должен хорошо знать":
http://www.px-pict.com/10/3/4/8/1/1a.htmlПоскольку отрицательные вещественные числа неспецифичны для муз. теории, сужаем это множество до множества

всех неотрицательных вещественных чисел. Таким образом, точкам первого квадранта плоскости

, о которой пишет Яглом:
http://www.px-pict.com/9/5/2/3/2/2/1/1/4.html(и который мы только и будем рассматривать) будут сопоставлены упорядоченные пары

неотрицательных вещественных чисел (т. е., элементы множества

).
-- Вт апр 05, 2016 16:57:16 --Теперь мы можем определить множество

"аналитических двойников" нужных нам прямоугольников (или поставленных им во взаимно-однозначное соответствие направленных отрезков

) следующим образом:
для любых положительных вещественных чисел

,

,

,

,

,
где

есть отношение "строго меньше" на множестве вещественных чисел.
Интуитивно: точке

направленного отрезка

сопоставляется пара

, а точке

сопоставляется пара

.