упорядоченного множества
1Упорядоченные и частично упорядоченные множества — (математичексие) множества, в которых каким либо способом установлен порядок следования их элементов или, соответственно, частичный порядок. Понятия порядка и частичного порядка следования элементов определяются следующим образом. Говорят …
2Грань числового множества — Точная верхняя грань и точная нижняя грань обобщение понятий максимума и минимума множества соответственно. Содержание 1 Определения 1.1 Замечание 2 Примеры 3 Свойства …
3Непрерывность множества действительных чисел — Непрерывность действительных чисел  свойство системы действительных чисел , которым не обладает множество рациональных чисел . Иногда вместо непрерывности говорят о полноте системы действительных чисел[1]. Существует несколько различных… …
4Частично упорядоченное множество — У этого термина существуют и другие значения, см. Упорядоченное множество. Подмножества {x, y, z}, упо …
5Трансфинитные числа — (от Транс… и лат. finitus ограниченный) обобщённые порядковые числа. Определение Т. ч. опирается на понятие вполне упорядоченного множества (см. Упорядоченные и частично упорядоченные множества). Каждое конечное множество можно сделать… …
6ПОРЯДКОВЫЙ ТИП — линейно упорядоченного множества А свойство множества А, к рое присуще любому линейно упорядоченному множеству В, подобному А. При этом два множества Аи В, линейно упорядоченные соотношениями R и S, наз. подобными, если существует функция f,… …
7Линейно упорядоченное множество — У этого термина существуют и другие значения, см. Упорядоченное множество. Линейно упорядоченное множество или цепь ― частично упорядоченное множество, в котором для любых двух элементов и имеет место или . Важнейший частный случай линейно… …
8Точная верхняя и нижняя границы множеств — Точная верхняя граница (верхняя грань) и точная нижняя граница (нижняя грань)  обобщение понятий максимума и минимума множества соответственно. Содержание 1 Используемые определения 2 Определения 2.1 …
9ВЫНУЖДЕНИЯ МЕТОД — форсинг метод, особый способ доказательства существования моделей аксиоматич. теорий, предложенный П. Козном в 1963 для доказательства совместимости отрицания континуум гипотезы щСН и других теоретико множественных предложений с аксиомами системы …
10Верхняя грань — Точная верхняя грань и точная нижняя грань обобщение понятий максимума и минимума множества соответственно. Содержание 1 Определения 1.1 Замечание 2 Примеры 3 Свойства …