Карта инклюзии
Карта включения В математике карта включения — это функция, отправляющая каждый элемент от A к x, рассматриваемому как элемент B. […]
Карта включения В математике карта включения — это функция, отправляющая каждый элемент от A к x, рассматриваемому как элемент B. […]
Синглтон (математика) Синглтон — набор, состоящий ровно из одного элемента, например, {0}. Аксиома регулярности гарантирует, что ни одно множество не
Диапазон действия функции Диапазон действия функции может относиться к кодовой области или изображению функции. Сюръективные функции имеют кодовую область и
История концепции функции Понятие функции в математике имеет долгую историю, начиная с античности и развиваясь в работах Фреге, Пеано и
Функция индикатора Индикаторная функция используется в комбинаторике для представления множеств и операций над ними. Она представляет собой произведение 0s и
Непересекающиеся множества Два множества называются непересекающимися, если у них нет общего элемента. Коллекция из двух или более наборов называется непересекающейся,
Упорядоченная пара Упорядоченная пара — это пара элементов, связанных отношением порядка. Определение Куратовского требует трех пар фигурных скобок для определения
Универсальный набор Универсальное множество — это множество, содержащее все множества. Идея универсального множества кажется интуитивно желательной в теории множеств Цермело-Френкеля.
Конечное множество Конечность и бесконечность являются фундаментальными понятиями в математике. Конечность множества определяется как наличие конечного числа элементов. Формальные системы
Обитаемый комплекс Конструктивная логика отличается от классической логики, включая исключение исключенного третьего. Конструктивная логика не может доказать все утверждения, которые
Список установленных идентификаторов и связей Статья представляет собой список математических тождеств и формул, связанных с операциями над множествами. Тождества и
Объединение (теория множеств) Объединение множеств является фундаментальной операцией, позволяющей связать множества друг с другом. Объединение двух множеств содержит элементы из
Элемент (математика) Элемент множества — любой объект, принадлежащий множеству. Наборы элементов A и B являются подмножествами A. Множество B состоит
Предикат (математическая логика) Предикат — символ, представляющий свойство или отношение в логике. Значение предиката — функция от области объектов к
Разбиение набора Разбиение множества X на непересекающиеся блоки. Отношение эквивалентности на множестве X определяет классы эквивалентности, которые являются разделами X.
Обратная функция Обратные функции позволяют найти значение функции, зная ее аргумент. Не все функции имеют обратные, но некоторые имеют частичные
Область действия функции Область действия функции — это набор входных данных, принимаемых функцией. Область функции обычно можно представить как «то,
Изображение (математика) Функция — отображение множества на множество. Область определения и область значений функции являются подмножествами соответствующих множеств. Функция может