Елемент частково впорядкованої множини називають максимальним, якщо він не менший за будь-який елемент цієї множини.