Підмножина
Досліджується в	теорія множин
Область визначення функції	множина
Кодомен	множина
Підтримується Вікіпроєктом	Вікіпедія:Проєкт:Математика
Команда TeX	\subset
Протилежне	надмножина[d]
Підмножина у Вікісховищі

Якщо X та Y — множини та будь-який елемент із X є також елементом із Y, то говорять, що:

• X є підмножиною (частиною) Y, позначення — X ⊆ Y;
• Y — надмножина (охоплююча множина) X, позначення — Y ⊇ X.

Кожна множина Y є підмножиною себе самої. Підмножина Y, яка не збігається з Y називається точною підмножиною (або правильною чи власною частиною множини) Y. Якщо X — точна підмножина Y, то цей факт записується як X ⊂ Y. Відношення «бути підмножиною» має назву включення.

Існують дві системи позначень відношень включення: старіша система використовує символ "⊂" для позначення будь-якої підмножини, і символ "⊊" для позначення точної підмножини. Нова система використовує "⊆" для позначення будь-якої підмножини, і "⊂" для позначення точної підмножини.

Із означення прямо слідує, що порожня множина мусить бути підмножиною будь-якої множини. Також, очевидно, будь-яка множина є своєю підмножиною:

∅ ⊂ B; B ⊆ B ${\displaystyle \forall B}$.

Якщо ${\displaystyle A\subset B}$, і ${\displaystyle A\neq \varnothing }$, то ${\displaystyle A}$ називається власною або нетривіа́льною підмножиною.

• Множина {1, 2} є точною підмножиною {1, 2, 3}.
• Множина натуральних чисел є точною підмножиною множини раціональних чисел.
• Будь-яка множина є своєю підмножиною, але не точною.
• Порожня множина ∅ є також точною підмножиною будь-якої множини.

ТВЕРДЖЕННЯ 1: Порожня множина є підмножиною всякої множини.

Доведення: Для довільної множини A потрібно довести, що ∅ є підмножиною A. Це рівнозначно тому, щоби показати, що всі елементиТ ∅ є також елементами A. Але в ∅ не існує жодного елемента.

Пояснимо: завдяки тому, що в ∅ немає елементів, "вони" не можуть бути нічиїми елементами. Тому для доведення зворотного, що ∅ не є підмножиною A, нам потрібно було б знайти такий елемент ∅, який не є одночасно елементом A. Таких елементів не існує (їх не існує взагалі), тому твердження 1 справедливе.

ТВЕРДЖЕННЯ 2: Якщо A, B та C є множини, тоді справедливі такі властивості відношення включення:

рефлексивність:

• A ⊆ A

антисиметричність:

• A ⊆ B та B ⊆ A тоді й тільки тоді, коли A = B

транзитивність:

• Якщо A ⊆ B та B ⊆ C то A ⊆ C

Це твердження говорить про те, що множина X є алгебраїчною структурою, або решіткою, і якщо вона дистрибутивна (що показано в твердженні 1) та для кожного елементу існує його доповнення, то така структура має назву булевої алгебри.

ТВЕРДЖЕННЯ 3: Якщо A, B та C - підмножини S, то виконується наступне:

існування верхньої межі та нижньої межі:

• Ø ⊆ A ⊆ S

існування зв'язків:

• A ⊆ A ∪B
• Якщо A ⊆ C та B ⊆ C то A ∪B ⊆ C

існування перетину:

• A ∩B ⊆ A
• Якщо C ⊆ A та C ⊆ B то C ⊆ A ∩B

ТВЕРДЖЕННЯ 4: Для будь-яких множин A та B, такі твердження еквівалентні:

• A ⊆ B
• A ∩B  =  A
• A ∪B  =  B
• A − B  =  Ø
• B^C ⊆ A^C

Вікідані мають властивість P279:є підкласом (використання)

Вікідані мають властивість P361:частина від (використання)

• Thomas Jech (2002). Set Theory. Springer-Verlag. ISBN 3-540-44085-2.

Наука	nLab
Словники та енциклопедії	Велика данська енциклопедія · Велика каталанська енциклопедія · Encyclopædia Britannica
Довідкові видання	Brilliant.org · KBpedia
Нормативний контроль	Freebase: /m/06wdz · GND: 4184620-5

п о р Теорія множин
Аксіоми	Приєднання Вибору зліченного залежного глобального[en] Конструктивності (V=L)[en] Детермінованості[en] PD ADR AD+ Об'ємності Нескінченності Пари Булеана Об'єднання Регулярності Мартіна Аксіомна схема виділення підстановки
Операції	Булеан Декартів добуток Доповнення Об'єднання Перетин Правила де Моргана Різниця Симетрична різниця
Концепції • Методи	Бієкція Діагональний метод Діаграма Венна Елемент впорядкована пара кортеж Кардинальне число (велике) Клас Конструктивний універсум[en] Континуум-гіпотеза Порядкове число Потужність Сімейство Трансфінітна індукція Форсинг[en]
Типи множин	Зліченна Надмножина Незліченна Нескінченна Нечітка Підмножина Порожня Розв'язна Скінченна (спадково[en]) Транзитивна Універсальна
Теорії	Аксіоматична Альтернативна[en] Наївна Теорема Кантора Цермело Z Загальна GST Principia Mathematica Нові основи[en] NF Цермело — Френкеля ZF фон Неймана — Бернайса — Геделя NBG Морзе — Келлі[en] Кріпке — Платека[en] Тарського — Гротендіка[en]
Парадокси • Гіпотези	Парадокс Расселла Гіпотеза Сусліна[en]
Теоретики	Абрахам Френкель Бертран Расселл Віллард Квайн Георг Кантор Джон фон Нейман Ернст Цермело Курт Гедель Лотфі Заде Пол Коен Поль Бернайс[en] Ріхард Дедекінд Томаш Жех[en]
Інше	Універсум фон Неймана