Булеан: відмінності між версіями
| [неперевірена версія] | [неперевірена версія] |
Вилучено вміст Додано вміст
Рядок 52:
* В іншому випадку:
** Нехай <math>e</math> — будь-який одиничний елемент з <math>S</math>.
** Нехай <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>.
| |||