Частично упорядоченный набор

• Частичный порядок на множестве — это такое расположение, при котором для определенных пар элементов один предшествует другому. 
• Частичные заказы обобщают общие заказы, в которых каждая пара сопоставима. 
• Формально частичный порядок — это однородное бинарное отношение, которое является рефлексивным, антисимметричным и транзитивным. 
• Частично упорядоченный набор — это упорядоченная пара P = (X, ≤), состоящая из набора X и частичного порядка ≤ на X. 
• Термин «частичный порядок» обычно относится к рефлексивным отношениям частичного порядка, которые в этой статье называются нестрогими частичными порядками. 
• Строгие и нестрогие частичные порядки могут быть приведены во взаимно однозначное соответствие. 
• Двойные приказы — это операции, которые позволяют преобразовать одно отношение частичного порядка в другое. 
• Пересказана только часть статьи. Для продолжения перейдите к чтению оригинала.