Встраивание – Arc.Ask3.Ru
Встраивание Определение вложения Вложение — это инъективная и сохраняющая структуру карта между двумя математическими структурами. В теории категорий отображение, сохраняющее […]
Встраивание Определение вложения Вложение — это инъективная и сохраняющая структуру карта между двумя математическими структурами. В теории категорий отображение, сохраняющее […]
Направленный набор Определение направленного множества Направленное множество — это непустое множество с рефлексивным и транзитивным бинарным отношением ≤. Каждая пара
Присоединяйтесь и знакомьтесь Определения и свойства Объединение подмножества частично упорядоченного множества является высшей точкой (наименьшей верхней границей) подмножества. Встреча подмножества
Функция сохранения предела (теория порядка) Функции, сохраняющие пределы Функции сопоставляют верхнюю/нижнюю границу множества с верхней/нижней границей изображения множества Функции могут
Полный частичный заказ Полные частичные порядки Термин “полный частичный порядок” (cpo) имеет несколько значений в зависимости от контекста. Направленный полный
Теорема Бурбаки–Витта Теорема Бурбаки–Витта Основная теорема о фиксированной точке для частично упорядоченных множеств Утверждает, что если X является непустой цепочкой
Встраивание Определение вложения Вложение — это инъективная и сохраняющая структуру карта между двумя математическими структурами. В теории категорий отображение, сохраняющее
Теорема о дереве Крускала Теорема Крускала о дереве Множество конечных деревьев над хорошо квазиупорядоченным набором меток само по себе хорошо