Дедекинда аксиома

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

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