Dedekindi lõige, ratsionaalarvude hulga jaotus alam- ja ülemklassiks nii, et kumbki klass pole tühi ning alamklassi iga arv on väiksem ülemklassi igast arvust.

VE, 2006