Изменения
'''Q<sub>2</sub>''' — подмножество рациональных чисел — верхний класс сечения;
'''supQ<sub>1</sub>''' — верхняя граница множества '''Q<sub>1</sub>''';
'''infQ<sub>2</sub>''' — нижняя граница множества '''Q<sub>2</sub>''';
'''Q<sub>1</sub>|Q<sub>2</sub>''' — сечение множества рациональных чисел.
