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