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

• Частичный порядок — отношение, определяющее частичную упорядоченность множества элементов. 
• Частичный порядок может быть переформулирован как набор, определяющий частичный порядок на множестве элементов. 
• Каждый элемент множества является максимальным элементом частично упорядоченного множества. 
• Если предварительно заказанный набор имеет величайший элемент, то он уникален. 
• Если подмножество имеет наибольший элемент, то оно имеет не более одного наибольшего элемента. 
• Наименьший и наибольший элементы играют особую роль в частично упорядоченных множествах и называются нижним и верхним или нулем и единицей соответственно. 
• Существование наименьшего и наибольшего элементов является особым свойством полноты частичного порядка. 
• Пересказана только часть статьи. Для продолжения перейдите к чтению оригинала.