FTF 1 semestr.MAVRODI / 3

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

ы л жен я

На множестве вещественных чисел, обозначаемом через введена операция сложения («+»), то есть каждой

паре элементов из множества вещественных чисел ставится в соответствие элемент из этого же множества, называемый суммой и .

(коммутативность сложения);

(ассоциативность сложения);

(существование нейтрального элемента по сложению — нуля);

(существование противоположного элемента).

ы у н жен я

На введена операция умножения («·»), то есть каждой паре элементов из множества вещественных чисел ставится в соответствие элемент (или, сокращённо, ) из этого же множества, называемый произведением и .

(коммутативность умножения);

(ассоциативность умножения); (существование нейтрального элемента по умножению — единицы);

(существование обратного элемента).

Связь л жен я у н жен я

(дистрибутивность относительно сложения).

ы п ряд

На задано отношение порядка «» (меньше или равно), то есть для любой пары x, y из выполняется хотя бы одно из условий или .