Внедрение заказа
- Вложение порядка — особый вид монотонной функции, позволяющий включить одно частично упорядоченное множество в другое.
- Вложения порядка представляют собой понятие, которое строго слабее понятия изоморфизма порядка.
- Формальное определение вложения порядка требует, чтобы функция была сохраняющей порядок и отражающей его.
- Изоморфизм порядка может быть охарактеризован как сюръективное вложение порядка.
- Вложение порядка ограничено изоморфизмом между его областью и его изображением.
- Два (обязательно бесконечных) множества могут быть взаимно вложены друг в друга по порядку, не будучи изоморфными по порядку.
- Ретракт — это пара сохраняющих порядок карт, состав которых g∘f является личностью.
- Не каждое вложение по порядку является коретракцией.
Полный текст статьи: