Set theory

Вики

Идеал (теория множеств)

/

Идеал (теория множеств) Идеал в булевой алгебре — подмножество, удовлетворяющее определенным условиям.  Идеалы играют важную роль в теории порядка и […]

Вики

Наследственно конечное множество

/

Наследственно конечное множество Наследственно конечные множества — это множества, которые не содержат бесконечных подмножеств.  Множество всех наследственно конечных множеств обозначается

Вики

Континуум (теория множеств)

/

Континуум (теория множеств) Континуум в математической теории множеств обозначает действительные числа или соответствующее кардинальное число.  Георг Кантор доказал, что мощность

Вики

Нормальная функция

/

Нормальная функция Нормальная функция в аксиоматической теории множеств является непрерывной и строго монотонно возрастающей.  Примеры нормальных функций включают простую функцию

Вики

Фильтр (теория множеств)

/

Фильтр (теория множеств) Фильтры в топологии — это семейства подмножеств, которые замкнуты вниз и замыкаются при конечных объединениях.  Определение фильтра

Вики

Незначительный набор

/

Незначительный набор Пренебрежимо малые множества в математике игнорируются для определенных целей.  Примеры использования пренебрежимо малых множеств включают изучение пределов последовательностей

Вики

Примитивное понятие

/

Примитивное понятие Примитивное понятие в математике, логике, философии и формальных системах не определяется в терминах ранее определенных понятий.  Мотивация для

Вики

Опора (математика)

/

Поддержка (математика) Поддержка функции — это множество значений, в которых функция принимает ненулевые значения.  Поддержка обобщается на функции, определенные в

Вики

Обозначение конструктора множеств

/

Обозначение создателя множеств Обозначение set-builder используется для определения множеств с помощью предикатов.  Примеры множеств включают наборы натуральных чисел, рациональных чисел

Вики

Парадоксальный набор

/

Парадоксальный набор Парадоксальные множества имеют парадоксальную декомпозицию, состоящую из двух семейств непересекающихся подмножеств и соответствующих групповых действий.  Множество, допускающее парадоксальное

Вики

Определимое действительное число

/

Определяемое действительное число Действительные числа включают рациональные и иррациональные числа.  Существует бесчисленное множество действительных чисел, что делает почти каждое число

Вики

Вселенная (математика)

/

Вселенная (математика) Вселенная — это множество объектов, на которых выполняются определенные операции.  В математике, вселенная может быть универсумом, который содержит

Вики

Жилой комплекс

/

Обитаемый комплекс Конструктивная логика отличается от классической логики, включая исключение исключенного третьего.  Конструктивная логика не может доказать все утверждения, которые

Вики

Союз (теория множеств)

/

Объединение (теория множеств) Объединение множеств является фундаментальной операцией, позволяющей связать множества друг с другом.  Объединение двух множеств содержит элементы из

Вики

Экстенсиональность

/

Расширяемость Экстенсиональность в логике относится к принципам, когда объекты считаются равными по одинаковым внешним свойствам.  Концепция интенциональности связана с совпадением

Вики

Наследственный набор

/

Наследственный набор Наследственное множество — множество, элементы которого являются наследственными множествами.  Примеры наследственных множеств включают пустое множество и множество, содержащее

Вики

Парадоксы теории множеств

/

Парадоксы теории множеств Парадокс Кантора связан с невозможностью определить, является ли множество счетным или несчетным.  Теорема Кантора утверждает, что существуют

Вики

Полный порядок

/

Общий заказ Общий порядок — отношение, которое удовлетворяет условиям транзитивности, рефлексивности и антисимметричности.  Упорядоченные множества могут быть полностью упорядоченными или

Вики

Замыкание (математика)

/

Замыкание (математика) Замкнутые множества — подмножества, которые сохраняют свои свойства при пересечении.  Основное свойство замкнутых множеств заключается в том, что

Прокрутить вверх