Большая Советская энциклопедия - дедекиндово сечение

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

Большая советская энциклопедия. — М.: Советская энциклопедия

1969—1978

.