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

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

███ ███ █████████ ████████ ██ █████ ████████ ██ ████████، ████ ██ █████ ${\displaystyle \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>}\in \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>}}$ ██ ██████ █████ ████████ ${\displaystyle \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>}}$ ██: ${\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>}\subseteq \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ █████ ████:█ ███ █. ███ ████ ████ ██ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\ne \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>}}$ ████████ ██ ██████ █████ ████ ███████ ████ █████ ███ █████ ██ ██████████ █ ██ █. ██ ██ ████ █ █████ ███ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\cup \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>}\cup \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\iff \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\in \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\vee \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>}\}\Rightarrow \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\cup \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>}=\mathbb{<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>}\}\Rightarrow \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\cup \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>}=\mathbb{<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>},...\}\Rightarrow \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\cup \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="1"\; class="word\; redacted">█</span>}\},\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}=\mathrm{\varnothing }\Rightarrow \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\cup \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>}\cap \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ ████████ ██ ██████ █████ ████ ███████ ████████ ███ █ ██. ██ ██ ████ █ █████ ███ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\cap \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>}\cap \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\iff \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\in \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\wedge \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>}\}\Rightarrow \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>}\}}$
• ████ ██████ █████ ██████ ███████ ███ ██████: ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}=\mathbb{<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="2"\; class="word\; redacted">██</span>}\}\Rightarrow \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="2"\; class="word\; redacted">██</span>}\}}$
• ████ ██████ ████████ ███ ████████: ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}=\mathbb{<span\; word-length="1"\; class="word\; redacted">█</span>},\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}=\mathbb{<span\; word-length="1"\; class="word\; redacted">█</span>}\Rightarrow \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\cap \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="1"\; class="word\; redacted">█</span>}\},\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}=\mathrm{\varnothing }\Rightarrow \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\cap \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}=\mathrm{\varnothing }}$

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

█████ █████

█████ █████ ███ ████████ █ ██ ████ ███ ██ ${\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>}\in (\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}-\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})\iff \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\in \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\wedge \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\notin \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>}\}\Rightarrow (\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 \Rightarrow (\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{<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>}\}\Rightarrow (\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>}\},\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}=\mathbb{<span\; word-length="1"\; class="word\; redacted">█</span>}\Rightarrow (\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>}\},\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}=\mathrm{\varnothing }\Rightarrow (\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>}}$ ███ ████ ███ (█ █████ ███ █ █████ █ ██ █████ ███ █) ██ (█ █████ ███ █ █████ █ ██ █████ ███ █)

███████: ${\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>}\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\iff (\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\in \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\wedge \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\notin \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})\vee (\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\in \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\wedge \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\notin \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})}$

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

████ ███████

██████ █████████ ██████████ █ █- █ , ████ ██ ███████: ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\times \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>}\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>},\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\}}$ █- ${\displaystyle \{\text{<span word-length="3" class="word redacted">███</span>},\text{<span word-length="5" class="word redacted">█████</span>}\}}$ ██: ${\displaystyle \{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>},\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\}\times \{\text{<span word-length="3" class="word redacted">███</span>},\text{<span word-length="5" 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>},\text{<span word-length="3" class="word redacted">███</span>}),(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>},\text{<span word-length="5" class="word redacted">█████</span>}),(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>},\text{<span word-length="5" 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>}|\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>}\subseteq \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\}}$.

███ ████ ██████: ████████ ███████ █████ ███████ █████ ██████ ███ ██████ ████ (███ ${\displaystyle \mathrm{\varnothing }\subseteq \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>}\})=\{\{\},\{\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{\varnothing })=\{\mathrm{\varnothing }\}}$.