Найбільший та найменший елемент

В математиці, а саме в теорії порядку, для частково впорядкованої множини (P,≤)

найбільшим елементом називається такий елемент для якого справедливо:

найменшим елементом називається такий елемент для якого справедливо:

Найбільшого або найменшого елементів може не існувати. Якщо ж вони існують, то вони єдині.

Теорема ред.

В кожній частково упорядкованій множині існує не більше одного найменшого (а в силу принципу двоїстості, і найбільшого) елементу.

Доведення ред.

Припустимо, що x і y – два найменші елементи в множині A , тоді : в силу того, що x – найменший елемент і : в силу того, що y – найменший елемент. Але тоді із антисиметричності відношення випливає, що x=y .

Див. також ред.

Джерела ред.