Булеан: відмінності між версіями
[неперевірена версія] | [неперевірена версія] |
Вилучено вміст Додано вміст
→Підмножини обмеженої потужності: Виправлена описка Мітка: Редагування з мобільної програмки |
→Властивості: Виправлена описка Мітка: Редагування з мобільної програмки |
||
Рядок 21:
== Властивості ==
Якщо <math>S</math> — [[скінченна множина]] та <math>|S| = n</math>, тоді кількість підмножин <math>S</math> дорівнює <math>|\mathcal{P}(
Діагональний метод Кантора показує, що булеан множини <math>S</math> (скінченної або нескінченної) завжди має строго більшу [[Потужність множини|потужність]], ніж сама множина <math>S</math>. Зокрема, [[теорема Кантора]] свідчить, що булеан [[Зліченна множина|зліченної множини]] є [[Незліченна множина|незліченним]]. Наприклад, можна утворити [[Бієкція|бієктивне відображення]] між булеаном множини натуральних чисел та множиною дійсних чисел.
|