Большая Советская Энциклопедия
Дедекиндово сечение
одно из арифметических определений действительных чисел без привлечения геометрического толкования. Предложено в 1872 немецким математиком Р. Дедекиндом . Д. с. расширяет множество рациональных чисел до множества всех действительных чисел путём введения новых, иррациональных чисел, одновременно упорядочивая их.
Википедия
Дедекиндово сечение
Дедеки́ндово сече́ние — один из способов построения вещественных чисел из рациональных .
Множество вещественных чисел определяется как множество дедекиндовых сечений. На них возможно продолжить операции сложения и умножения .