Множество всех подмножеств: различия между версиями

[отпатрулированная версия][непроверенная версия]
Содержимое удалено Содержимое добавлено
м робот добавил: eu:Potentzia-multzo
Нет описания правки
Строка 1:
<sub></sub>Пусть <math>A</math> — [[множество]]. Множество всех [[Подмножество|подмножеств]] множества <math>A</math> называется '''булеаном''' <math>A</math> (также '''степенью множества''', '''показательным множеством''' или '''множеством частей''') и обозначается <math>\mathcal P(A)</math> или <math>2^A</math>. Ясно, что <math>\varnothing \in \mathcal P(A)</math> и <math>A\in \mathcal P(A)</math>.
 
Справедливо следующее утверждение: