Дедекиндово сечение

Определение "Дедекиндово сечение" в Большой Советской Энциклопедии

Дедекиндово сечение, одно из арифметических определений действительных чисел без привлечения геометрического толкования. Предложено в 1872 немецким математиком Р. Дедекиндом. Дедекиндово сечение расширяет множество рациональных чисел до множества всех действительных чисел путём введения новых, иррациональных чисел, одновременно упорядочивая их.