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

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

███ █ ███ ██████ ██████████, █ ███ █ ███ █████████. ██ ██████, █ ███ ██████ ██ █████████ █████ ███████, ███ ██████, ███ ██████ ████████, █ ██████ █████ ██████ ███████████. ██ █████████ █ ██ █ █ ██████ ██ █ █ ██████ ████████ ███ ████ ████████:

• ███ ████ ████████████ ██████ █ ██ █, ██ ███████ █(█) ██ █
• ███ ████ ██████ ██ ██████ █ █ █ ██ █, ███ ${\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>}\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>}\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>}}}$, █ ███ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}={\cup }_{\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 \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>}(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})}$ ███ ███████ ████ ███ ███ ████ ${\displaystyle \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>}\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>}},\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>}}$, ██ ████████ ████████ ${\displaystyle {\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>}({\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 \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>}},{\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>}}\cap {\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 \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>}},\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>}\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>}}\in \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 \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>}}_{\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>}}{\}}_{\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>}={\cup }_{\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 \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>}(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})}$ ███ ████████ ████████ ████████ ██ █ █ ██████ █████ ████ ███ ███ ████ ${\displaystyle \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>}}_{\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 \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>})}$, ████ ${\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>}}\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 {\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>}\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>}|{\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>}}}={\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 \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>})}$ ████████ ██ █ █ █ ██████ █████ ████ ███ ${\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>}}}$ ███ ████ █: █████ ████████ ██ ████████ █████ ███ █████. ███ ████████████, ███ ████ ${\displaystyle \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>}\in \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ ████ ███ ${\displaystyle \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>}}}$, █ ██ █████████ ██████ ${\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>})}$. ██ ████████ ██████████ ███ ████ █ █ ███ ████████, ████████ ██ █, █ ██████ █████.

██████ █'███████ █████ ████████ ████████ ████████ ██ ██ ██████ █ ██ █ █ ██████ █████ █ ███ ██████ ██████████ █████, ██ ██████ ██████ █████████ ███ ██████ █████ ███ ████ ████ ██████ ██ ███████, ██ ████ ██████ ██ █████ ██████████ █████.

█'███████ ███ ██████ █████████████ ██ ████ ████:

• ████ █████ ████████ ███ █████ ██████████ █████████ ██ ██████ ██ ███████. ███ █ : █ → █ ███ █████ ████████. █████████ ██████ ██ ██████ ${\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>})}$ ███████ ${\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>})}$ ████ █'███████ █████ ████████ █ : █ → █ ████ ███ ██ = ██_█. ██ █████ ██ ███████████ █ ██ ███████████ █████ ████████. ██ ██████ ████████ █ ████████ ██████ █████ ███████ ██ █, ██ █ ██████████ ███ ████ ██ ███ ██ █████ █ ███ ██ ██████████ ██ ██ ███████ ██████████ ███ ███ ██████ ██████████ ██ ████. ██ ███████ ████████ █ ████ ██ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}=\mathbb{<span\; word-length="1"\; class="word\; redacted">█</span>}\mathrm{\setminus }\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$, ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}=\mathbb{<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="3"\; 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>})}$ █ █'███████ █████ █████████████ ███ █████████ ██ ${\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>}}(\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 \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\le \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>},\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>},\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>},\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})\subseteq {\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 {\mathcal{<span\; word-length="1"\; class="word\; redacted">█</span>}}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}^{\times }}$ █████ ████████ ███ █████. ██ ████ ██████ █, ${\displaystyle {\mathcal{<span\; word-length="1"\; class="word\; redacted">█</span>}}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}^{\times }(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})}$ █ █'███████ █████ ████████ █████ ██ █ ███████ ██ █. ██ ██████ ██ ██ ██████ ██ ██████, ████████ ██ ████████ ████ █████ ███████████████ █████ ███ █████.
• ██ █████ ██████ █████ ██████████ ██ █ █ ██ ██████ ██████████ █_█. ██ ████ ██████ █, █_█(█) █ █'███████ █████ █-█████ █████████████ ██ █. ██ ███████████ █ ██ ███████████ ████████ ██ █████ █████████████. ██ ████ ███████ ██ █████████ ██ ██████ █^█, █████ █-█████ █████████████.
• ██ █ █ ███ ███████ ██████, ██████ ███ ████ ██████ █ ██ ███ ████████ █'███████ ${\displaystyle \mathcal{<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>})}$ █████ █████████████ █ ██████ █████ ██ █. ${\displaystyle \mathcal{<span\; word-length="1"\; class="word\; redacted">█</span>}\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>}}(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})}$ ████ █'███████ █████ █████████ █████████████ ████████ ██ █. ██ ███████ ██████ ██ ██████, ████████ ██████ █████ █████████ █████████████ ████████.

█████ ██████

█████ ██████████ ██████ ██ ████████ █ █████ ████ █ ████████:

• ███ ████ ███████ █ ██ ████ ██████ ██████████ █, ██ ██ ██ █████████ ████████ █, ███ ██ ████ ██████ █ ██ █ ███████ █(█) = █. ██ █████ ██ ███████████ █ █'████████. █ █ ██ █████████ ██ ███ █ ██ ██████: █████ █ █ █ ███ ██████ █████████, █ █ █ ████ ███ ████████ ████████ ██ █. █ █████████ ███ ███████ ██ █(█), █ ███ ███████ ██ █(█). ██████ █ █ █ ████ █████████, ██ ███████ ████'███████ ██ ████████████ ████ ██████████. ██ █ █████ ██ ██████, ████████ ████████ ██ ████████ ██ █(█ ∪ █) ███ ██ █████████ ██ █ ██ █ ██ █ █ ██ █, ██ ███ █ ███████████: ████████ ████████ ██ ████████ ██ █ ██████ ███ ██ █ ███ █ █. █ █, ████████, ██ █████████ ████████.
• ████████ ███ █████████ ████████, █ █████████ █████████ ██ ██████, ████████ ██████ ████████. █████ ████████ ${\displaystyle \underset{<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 \underset{<span\; word-length="1"\; class="word\; redacted">█</span>}{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}}$ █ ██ ██████.
• ███ █ ██ █████ ███████ ██ █, █ ███ █ ██ ███████ ██ ███ █████████ █. ██ ██████ ███████████ ██ █ ███ █████ █ █ ██ ██████ █_█ ████████ ███ ████ ████████: ██ █ █ ██ ██████ ██████████ █, ██████ █_█(█) = █. ██ █ ███ ████████ █, ██████ █_█(█) █ █'███████ █████████ ██ █. ██ █████ ██ ███████████ ████ █'████████ ███ ██████ ██████████ █, ██ █████ ██████ ██████████.

██████, █████ ███ ██████ ██ ████████ ███ ███ ████ █████:

• ███ █ ███ ██████ ██████████ ██████████ ██ ███ █████ {█, █}, ██████ █████ █████████ ████████. ████████ ████████ ██ █████████ █ ███ ████ ████████: █(∅) = ∅, █({█}) = █, █({█}) = █, █({█, █}) = █ × █ × █. ██ █████ ██ ███████████ █({█, █}) → █({█}) █ ██ ██████████ ██ █ × █ × █ █████ █████ ██████████, ██████ ██ █████ ██ ███████████ █({█, █}) → █({█}) █ ██ ██████████ ██ █ × █ × █ █████ ███████ ██████████. █ █ ██ █████████ ███ ████████, ██████ ███ ███████ ███████ █ ███████████ ██ ███ ██████████, ██ ██ ███ ███████ ██ {█} █ {█} █████████ ████ ██ █████ ███. ██████, █████ ██ ████████ █████████ ███ ███████, ███ █ █████████ █████ ██ ████ ███████.

• ███ █ ██ █████ █████████, █ ███ ████ █ ██████ ██ █ ███ █(█) █'███████ █████ ████████ ████████ ████████ ██ █. ██████ ███ █ ██ ██████, ██████ ███ ██████ █ █████████ █████████: ██ █_█ █ █'███████ █████ █ ████ ███ |█| < █, ██ ████████ █(█) = █ █ ████████ ██ ████ █_█, █ ██████ ███████ ███ ███████ █_█ ██ █_█. ██ ██████ ███████ ███ ██ █████████ ██████ █'█████ ████████ ███ █████████ █ ██ ████████ █(█)=█, ███ ███ █ ████████ ███ █████ █████████. █ █ ██ █████████ ████████, ██ ██████ █████-█████████ ███ ██████ █████ ████████ ████████, ██ ███ █ ██ ██████.