Оформить предварительный заказ

• Предварительный заказ — это частичное упорядочение, которое может быть использовано для определения порядка элементов в множестве. 
• Предварительные заказы могут быть нестрогими или строгими, и несколько нестрогих предварительных заказов могут создавать один и тот же строгий предварительный заказ. 
• Примеры предварительных заказов включают отношение достижимости в ориентированных графах и отношения между подтипами в компьютерных науках. 
• Категория, имеющая не более одного морфизма от любого объекта, является предварительным порядком. 
• Каждое бинарное отношение на съемочной площадке может быть продлено до предзаказа на S, используя переходное замыкание и рефлексивное замыкание. 
• Оставшийся остаточный предварительный заказ формируется из дополненной композиции бинарного отношения R. 
• Если предварительный заказ также является антисимметричным, то есть a ≲ b и b ≲ a подразумевают a = b, то он называется строгим. 
• Пересказана только часть статьи. Для продолжения перейдите к чтению оригинала.