пусть Х непустое ограниченное сверху множество чисел, тогда существует единственная верхняя грань sup x
док-во: докажем, что min элемнет мн-ва У единственный
пусть у1, у2 э У min элементы, тогда (y1<=y2) & (y2<=y1)=> y1=y2
докажем, что верхняя грань существует
пусть У мн-во всех верхних граний для Х, по условию Х,У непустые множества и для любых х э Х, у э У (х<y). По аксиоме непрерывности существует с э R для любых х э Х, у э У (х<=c<=y) => c - min верхняя граница => sup x =c