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