Полный частичный заказ
- Полные частные порядки (PPCo) являются обобщением полных порядков и имеют важные свойства.
- PPCo являются декартовой замкнутой категорией с непрерывными отображениями Скотта.
- Направленная полнота является фундаментальным свойством, встречающимся в других исследованиях, основанных на теории порядка.
- Направленная полнота соотносится с другими понятиями полноты, такими как полнота цепочки.
Полный текст статьи: