Глоссарий теории порядка
- Частичный порядок – бинарное отношение, рефлексивное, антисимметричное и транзитивное.
- Частично упорядоченное множество – набор с частичным порядком.
- Монотонные функции между последовательностями сохраняют порядок и могут быть антитонами.
- Двойной порядок частично упорядоченного множества – то же множество с обратным отношением порядка.
- Упорядочивание-встраивание – функция между последовательностями, эквивалентная сохранению порядка.
- Изоморфизм порядка – сюръективное вложение порядка между двумя последовательностями.
- Частичный порядок может быть рефлексивным, антисимметричным и транзитивным, или квазипереходным.
- Основные элементы и идеалы играют важную роль в теории предметной области.
- Пересказана только часть статьи. Для продолжения перейдите к чтению оригинала.
Полный текст статьи: