Термин алгебра
Алгебра терминов Определение терминальной алгебры Терминальная алгебра — это алгебра, в которой все элементы являются терминами. Терминальные алгебры используются для […]
Вики
Universal algebra
Вики
Редактировать
Уменьшать Определение сокращения и расширения в универсальной алгебре и теории моделей Сокращение алгебраической структуры — это исключение некоторых операций и
Вики
Псевдоэлементарный класс
Псевдоэлементарный класс Определение псевдоэлементарного класса Псевдоэлементарный класс является сокращением от элементарного класса, исключая некоторые виды и отношения. Математический аналог в
Вики
Ультрапродукт
Ультрапродуктовый продукт Определение ультрапродукта Ультрапродукт — это множество, состоящее из всех классов эквивалентности элементов в множестве. Элементы множества могут быть
Вики
Подалгебра
Подалгебра Определение подалгебры Подалгебра — это подмножество алгебры с индуцированными операциями. В универсальной алгебре подалгебра — это подмножество, замкнутое по
Вики
Графовая алгебра
Алгебра графов Определение алгебры графов Алгебра графов — это алгебра, которая придает алгебраическую структуру ориентированному графу. Она была введена Макналти
Вики
Клон (алгебра)
Клон (алгебра) Определение клона в универсальной алгебре Клон — это множество операций над множеством, содержащее все проекции и замкнутое в
Вики
Group with operators — Wikipedia
Группа с операторами Группа с операторами — это группа G вместе с действием множества Ω на G, которое распределительно по
Вики
Частное (универсальная алгебра)
Частное (универсальная алгебра) Конгруэнтность в алгебре определяет отношение эквивалентности между элементами. Фактор-алгебра алгебры по модулю E называется фактор-алгеброй. Гомоморфизм определяет
Вики
Отношение толерантности
Отношение толерантности Отношение толерантности — бинарное отношение, определяемое как отношение эквивалентности, которое допускает некоторые различия. Допуск — это отношение толерантности,
Вики
Термин алгебра
Алгебра терминов Терминальные алгебры используются для изучения свойств и операций над терминами в формальных языках. Терминальные алгебры имеют область, в
Вики
Отношение конгруэнтности
Соотношение конгруэнтности Конгруэнтность — отношение эквивалентности между элементами алгебраической структуры. Связь конгруэнтности с гомоморфизмами позволяет описать соответствие между конгруэнциями и
Вики
Ультрапродукт
Ультрапродуктовый продукт Ультрапродукты — обобщение понятия произведения множеств на ультрафильтры. Теорема Лосса утверждает, что формула первого порядка верна в ультрапродукте,
Вики
Подструктура (математика)
Подструктура (математика) Подструктура — это часть структуры с теми же сигнатурой и некоторыми ограничениями. В теории моделей термин «подмодель» часто
Вики
Подпись (логика)
Подпись (логическая) Сигнатура — набор символов, определяющий структуру математической структуры. В универсальной алгебре слово «тип» или «тип подобия» часто используется
Вики
Структура (математическая логика)
Структура (математическая логика) Индуцированные подструктуры в структурах являются подмножествами, которые удовлетворяют аксиомам структуры. Примеры индуцированных подструктур включают рациональные числа в
Вики
Оператор закрытия
Оператор закрывания Замыкание множества — это множество всех подмножеств, содержащих данное множество. Замыкание множества является топологическим тогда и только тогда,
Вики
Генератор (математика)
Генератор (математика) Термин «генератор» или «генерирующая установка» относится к различным понятиям в математике и физике. Концепция генератора включает меньший набор
Вики
Разнообразие (универсальная алгебра)
Многообразие (универсальная алгебра) Алгебраическая структура — множество объектов с определенными операциями и тождествами. Универсальная алгебра изучает множество алгебраических структур и