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

███████████

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

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

██████

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

• ████ █████, ███ ███████ █ ██ ████████ ███ ████
• █ ███████ █ ███ ███████████ ███ ████
• █ ██████ ███ ████ ███████████
• ███ █████ ██████████ █ ██ ████████ ███████
• ███ █████ ██████████ █ ██ ████████ ████████
• ███ █████ ██████████ █ ██ ████████ ██████████
• ██ ███████ ███████████████ █ ██ ████████ ███████████████

• ████ ███████ █████ ███ █████████ ███████ ███ ██ ███████ ███████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ (██ ███████ ██████) ██████ ████ ████████ ██ ███████████ █████████ ████ ████████ ███ ███████. (█'██████ ██ ██ ████████ ██ █ ██ ██ █████████ █████ ████████ █ ████████ ████'██████████ ███████ ███ ███████).
• ██ █ █ ██ ███████, ██ █████████ ████████ ██ █ █ ██ █████████ ███████ ███ ██ ████ ███████ ███ ████████ ██ █ █ ████ ████████ ████ █ ████████ ████████.
• ██ ████ █████████ █ ██ ███ ████████ ███ █████ █████████, ██ █████████ █████ ${\displaystyle {\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}^{\ast }}$ ███ ██ ███ ███████ ███ ██████ ███████ ██ █, ██ ███ ███████ ██ █████████ ███ ████████ (█'███████ ${\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>}(\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>}})\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>}}{\circ }^{\prime }{\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>}})}$.

███████ ████████ ███ "████████" ███ ██ █████████ (█ ███████) ███ █ █████████ ████████ ██ "█████████ █████ █████████", ██ ██████ ██ █████████ ███ ████ ██████ ███████ ███ ███████ ███████████ ██ █████ ██████ (███ ███████████). █ █████████ ██████ ███████ █████ █████████ █████ █████████ ███████, ██ █████, ███████ ███████, ███████ ███████████ █ ███ ██████ █ ██████ ██████ ███████ ██ ███ █████████.

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

██ ████████ █: █ → █ ██ ██████

• ████████████ ██ ${\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>}}\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{<span\; word-length="1"\; class="word\; redacted">█</span>}\to \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$.
• ███████████ ██ █_██ = █_██ ███████ █_█ = █_█ ███ █████ █ ████████ █_█, █_█ : █ → █.
• ███████████ ██ ██████ ██ ████████ █ : █ → █ ███ ██ = ██_█ █ ██ = ██_█.
• ████████████ ██ █ = █.
• ████████████ ██ █ █ ███████ ██ ████████████ █ ██ ███████████.