Картинки из квадратов \ Теоретико-множественная математика \ Логика и методология дедуктивных наук \ Основания математики \ Набросок "алгебры прямоугольников" \

9.6.4.5.2. Определение квадратов,
а также операций V и H

Квадраты в системе RA мы можем определить "в одно касание".
Определение (квадратов).
Для любого прямоугольника x,
x есть квадрат тогда и только тогда,
когда .
Это определение станет совершенно очевидным, если мы вспомним об интуитивном смысле операции   "обращения прямоугольников". Другими словами мы могли бы сказать, что квадраты в системе RA являются "неподвижными точками" операции обращения .