Булеан: відмінності між версіями
[неперевірена версія] | [неперевірена версія] |
Вилучено вміст Додано вміст
Немає опису редагування |
Немає опису редагування |
||
Рядок 37:
** Нехай <math>T = S \setminus \{e\}</math>, де <math>S \setminus \{e\}</math> — відносне доповнення <math>\{e\}</math> в <math>S</math>.
** Повернемо <math>\mathcal{P}(S) = \mathcal{P}(T)\cup \mathcal{F}(e, \mathcal{P}(T))</math>.
== Підмножини обмеженої потужності ==
Множина підмножин <math>S</math>, потужність якої меньше ніж <math>k</math>, позначається <math>\mathcal{P}_{k}(S)</math> або <math>\mathcal{P}_{<k}(S)</math>. Таким чином, множина непорожніх підмножин <math>S</math> може бути позначена <math>\mathcal{P}_{\geq 1}(S)</math>.
== Потужність кінцевого булеана ==
|