Дедикенд теоремасы

Дедикенд теоремасы — сандар түзуінің үзіліссіздігі туралы. Нақты сандар жиынының кез келген А/В қимасы (Дедекинд қимасын қара) үшін, А класында ең үлкен, немесе В класында ең кіші болатын α саны бар болады. Бұл тұжырым сандар түзуінің үзіллісіздігі туралы Дедекинд принципі (немесе аксиомасы) деп аталады. α саны А жиынының жоғарғы шені және В жиынының төменгі шені болады.