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