█████ (███████)

███ █████

████ ██ ████ █████████, ███ █████ ███ ███████ ██████-███████ █████████ ██ ██████ ██████ █████ ████████ (██ ██████ ██████), ████████ ██ █████ (██ ██████████ ███████). ██████ ██ ███ ███ ████ █████ ███ ███████ ${\displaystyle \mathcal{<span\; word-length="1"\; class="word\; redacted">█</span>}}$, ███████ ███ █████ █████ █ █████ ████████ █ ███ ${\displaystyle \mathcal{<span\; word-length="1"\; class="word\; redacted">█</span>}(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})}$, █████ ████████ ████ ████████:

1. ${\displaystyle \mathcal{<span\; word-length="1"\; class="word\; redacted">█</span>}(\mathrm{\varnothing })=\{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\}}$;
2. ██ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\subseteq \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ ██████ ██████, ██ ████ ███████████ ██ █████ ${\displaystyle {\text{<span word-length="3" class="word redacted">███</span>}}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>},\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}:\mathcal{<span\; word-length="1"\; class="word\; redacted">█</span>}(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})\mapsto \mathcal{<span\; word-length="1"\; class="word\; redacted">█</span>}(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})}$, █████ ███████████ ██████;
3. ███ █████ █████ █ ██████ ${\displaystyle {\text{<span word-length="3" class="word redacted">███</span>}}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>},\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}={\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}_{\mathcal{<span\; word-length="1"\; class="word\; redacted">█</span>}(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})}}$;
4. ██ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\subseteq \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\subseteq \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ ██████ ██████ █-█ ██ ██████ ${\displaystyle {\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>},\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}\circ {\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>},\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}={\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>},\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}}$. █████: ██████ █-█ █-█ ███ █-█, ████ █████ █████ ███ ██████ █-█ ██████ █-█.

██████ ██████ ██████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\subseteq \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$, █████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\in \mathcal{<span\; word-length="1"\; class="word\; redacted">█</span>}(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})}$, ██ ██████ ██ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ █-█ █-█ ██████ █- ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}{|}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}}$ (█████ ██████ ██ █████ █████ ██ ███████).

███████ ██████

███ ${\displaystyle \{{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}{\}}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\in \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}}$ █████ ██ ██████ ██████ █-█. █████ ████ ██████ █ ████ ███████ ${\displaystyle {\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}\in \mathcal{<span\; word-length="1"\; class="word\; redacted">█</span>}({\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}})}$. ███ ███ ████████ █,█ ████ ${\displaystyle {\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>},\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}={\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}\cap {\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}}$. ████ ████ █ █-█ ██████ ${\displaystyle {\text{<span word-length="3" class="word redacted">███</span>}}_{{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}},{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>},\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}}({\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}})={\text{<span word-length="3" class="word redacted">███</span>}}_{{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}},{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>},\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}}({\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}})}$, █████: ████████ ██ █_█ █-█_█ ██████ ██ ██████. █████ ██, ███████ ██████ █████ ██ █████ ██ "███████ ██████" ████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\in \mathcal{<span\; word-length="1"\; class="word\; redacted">█</span>}(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})}$, ████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}=\bigcup _{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\in \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}}$ ████ █ ██████ ${\displaystyle {\text{<span word-length="3" class="word redacted">███</span>}}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>},{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}}(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})={\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}}$

███ █████ ${\displaystyle \mathcal{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ ███████ ██ ███████ ██████ ███ █████.

███ ███ █████ █████

██████ █████ █████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\subseteq \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$, ████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\in \mathcal{<span\; word-length="1"\; class="word\; redacted">█</span>}(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})}$ ████ ███ ███ █. ███ ███ █ (█████, ████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\in \mathcal{<span\; word-length="1"\; class="word\; redacted">█</span>}(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})}$) ████ ███ ██████.

███████ ██-██-████

████ ████████ ██ ██████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}:\mathcal{<span\; word-length="1"\; class="word\; redacted">█</span>}\mapsto \mathcal{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ :{\███████ {█}}\██████ {\███████ {█}}} ███ ██-██-████ ██ ███ █████ █ ████ █████ █████ █ ██████ ██ █ █████ █████ █████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\subseteq \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ ██████ ██ █ ██ █ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})}$ ███ ███████ ██ ██ █████. ████ ██████ ██████ ██ █████ ███ ████ █████ █████ █, ████████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})}$ ███ ██ ██ █████.

███████ ██

████ ████████ ██ ██████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}:\mathcal{<span\; word-length="1"\; class="word\; redacted">█</span>}\mapsto \mathcal{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ :{\███████ {█}}\██████ {\███████ {█}}} ███ ██ ██ ███ █████ █ ████ █████ █████ █ █████ █████ █████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\subseteq \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ ██████ ██ █ ██ █ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})}$ ███ ███████ ██. █████: █████ ██ ███ ██ ████ ██████ ██ █████ ███ █████ ██ ██████ ███ █████ █████ █. ██████ █████, ███████ ██████ █████████ █████ █████, ██ ████ █████. ██ █████ ████ ████████ █████ ██ ███████ ██████ █████████, ███████████ ██ ██████.

███████████

███████████ ██ ██████ ████ ██ ██-██-████ ███ ██ ████ ███████████. ██ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ ███ ███████████ ██ ██████, ██ █████ █████████████ ████ ████ ██ ██████ ${\displaystyle {\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}:{\mathcal{<span\; word-length="1"\; class="word\; redacted">█</span>}}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}\mapsto {\mathcal{<span\; word-length="1"\; class="word\; redacted">█</span>}}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}}$ ███ ███████████ ███ █.

█████ ███ █████

██████ █████ ${\displaystyle \mathcal{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ ██ █████ ██ ████ ████████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$, ████ ██ █████ ██ ██████ ██████ ${\displaystyle \mathcal{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ ██ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ █████ █████ ███ ${\displaystyle \mathcal{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ ██ ███ █████ █████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$, ████ ${\displaystyle \mathcal{<span\; word-length="1"\; class="word\; redacted">█</span>}(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})}$ ████ ██ ██████ ██████ ${\displaystyle \mathcal{<span\; word-length="1"\; class="word\; redacted">█</span>}(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})}$ (█████ █████ ████ ██████) ██ ███████ ██████ ██ ████████ ██████ (████ ███████).

█████████ ███████

████ ███ █████ ██████ █████████ ███████: ██████ ████ █████ █ (████ █████, ███ ███ ████ ███████, ████, █) █████ ████ ██ ███ ██████████ ███ █ ███████ █, ████ ███████ ████████, ████ ██-█████ █████ ██ █████ ██████ ███ █ ██ ██ ███████ ███████ ██ ███ █-█. ██ ████████ ████ ██████ █████████ (█████████ ██████) ███ █████ ████ ██████ ████ █████ █████ (██████): ███ █████ █████ █, █████ ████ ██ ██████ ██ █ ███ ███████ ████████ ██ ██████ ██ █. ███ ████ ██ ██, ████████ ████████ ███ █████ █████ █████ ████ ██ ████████ █-█-███████.

████ █████ ██ ██████ ██████ ███ █████ ██████████, █████ ██ █ ██████ ███████ ████ ███████ ████████ ██████████ ██████ █████ ████. ██ █████ ██, ███ ████ ██ ██, ████████ ████████ ███ █████ █████ █████ ████ ██ ████████ █-█-███████ ████████ ██████ ████████ ███████ ██████ ██ █-███████ ███████ ██████ █████.

█████████ ██ ██████████

█████████ ██ ██████████ ██████ ██ ████ ██████ ████ ████████ █████ ██ █████ ███ █████████ █████. ██ ███ ███ ████ ██ ████ ██████ ██████ █████. ████ ████ ██████ ███████ ██████ ██ ████████ ███████ ██████ ██ █████ ███ █████████.

████, ████ ██████ ██ ████████ ██████████ ██ ███ ██ █████████ █, ██████ ██████ ███████ (████ ████ ██ ██████████) █████████ ████ ██████ ████. █████ █████-███████ ██ ████ █ ███ █, ██ ████ ████ ██ ██████ ███ ███████████ ████████ █████ ██, █████ █████ ███ ██████ ███████████ ██ ███████████. █████, █████ ████ █████ █████ █████ ██████ ████ ███ ████ ███ ████ ██████████ (████ ██████ ███████ ████ █████████ ██████████ ███████ █████ ██ ██████ █████████ █████ ████ ████ █; ██ ██ ██████ ██████████ ██████ ███████████ ██ ████ █████████ ██████████) █████ █████████.