██████ da █████████

███████

Na ██████ da █████████ (███ como na █████████ █████████), ███████████ ███ se ████████ com um ██████ ██████████ ██████████ para ██████ ██████████ █████████████ █████████ no ███████ de ██████ ███████████. Em ███ █████, ███████-se que um ██████ é um ██████ ████████; o ███████████ ███████ dos ███████, mas pode ██████████ que um ██████ é um ██████ de █████████ que é um ██████ que foi ██████ █████████████ e █████ ████ ██████ █████████ █████████ têm ███████████ █████████, ou que é um ████████ ██. De █████ █████, “o que é um ██████” ███ é uma ███████ █████████ na ██████ da █████████, em ██████████ com a ████████ de █████████ ██████.

██████████████, ████████-se com um ██████ █ com █████ █████ █████████ * no ██████; esse ██████ é ███████ de ██████ ███████. Um ████ entre os ███████ ████████ é █████ ██████████ para █████████ os ██████ ███████. Por ███████, se ${\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>}]}$ é o █████████ da ███████ e █ é o █████ ████, █████ um ████ ${\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>}}$ é um ███████ do █████ ████ ${\displaystyle \ast =\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})}$ ao █████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})}$ . O ████████ “█████” é █████ para ███████ █████████ de ███████ dos ██████ de ████; por ███████, um ███████ █████ █████ um ████ ██████████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\to \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$, isso ███ ████████ ███████████████ o █████ de ████ (se ██████ um). Um ████ entre ███████ ████████ ██████ é ██████████████ ███████ de ████ ███████, para █████████ que ███ é um ████ █████.

█████████

O █ ██████ o █████████ de ███████ . Uma ███████ de █████ █████████ por █, ${\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>}\to \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ é ███████ de █████████ de ${\displaystyle {\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}}$ para ${\displaystyle {\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}}$ E se ${\displaystyle \mathrm{<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>}\to \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>})\mapsto {\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>})}$ é um ████ (por ███████, ████ ser uma ██████ ████████). Quando █, █ ███ ███████ ████████, █████ ${\displaystyle {\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}}$ ███ ███████████ para █████████ os ██████ de ████. Uma █████████ pode ser ███████████ uma ███████ de ████████████ . ████ um ██████ ███████ em █ e um ███████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\ge \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>}{]}_{\ast }}$ █████ as ███████ de █████████ de █████ ████████ em ${\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>}}$ de uma █ -██████ (███████) ${\displaystyle {\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}^{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}}$ para █. ████████ que ${\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>})}$ ███ ██████ e, em ██████████, ${\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>})}$ é ███████ de █████ ███████████ de █.

Se ████████ █████████ com um ██████ em ███ de um ██████ ███████, ██ a █████ de um ████████ ███████████ (e █████████ ██████████), por █████████: o ████████ ███████████ de um ██████ █ é a █████████ em que os ███████ ███ os ██████ de █ e os ████████ dos █████████.

██████████ e ████████

Um ████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}:A\to \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ é ███████ de ████ de ██████████ se ████ um ████ ${\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>}\to \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ e uma █████████ ${\displaystyle {\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}:A\to \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$, ██████ uma █████████ ${\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>}\to \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ que ███████ ${\displaystyle {\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}}$ e ███ que ${\displaystyle {\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>}}}$ . Para um ███████ mais █████, é um ███████ do ████████ de █████████ de um ██████ ████████ no ████ da ███████ ████████. O ███████ mais ██████ é um ███ ██ ${\displaystyle (\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>},A)}$, uma ███ que muitos █████████ ██████ com █████████ ██, ████-se que a █████ de uma ██████████ está ██████████████ █████████.

Uma ████████ no ███████ de █████ é a █████ █████ de uma ██████████: ou ████, um ████ ${\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>}}$ é uma ████████ se ████ um ████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\to \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ e uma █████████ ${\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>}\to \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$, ██████ uma █████████ ${\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>}\to \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ de ███ ████ que ${\displaystyle {\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}}$ é o ████ e ${\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>}}={\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}}$ . Um ███████ ██████ é um ████ de █████████ (na ███████, uma ████████ é uma █████████████ de um ████ de █████████). E se ${\displaystyle E}$ é um █ -███████████ █████████, ou ████, um ██████ com uma ████ de █████ █████ e ██████████ (██████████) de um █████ (██████████), █████ o ████ de ████████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}:E\to \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ é um ███████ de ████████.

█████████████ ███████ e █████████ de █████████

████ um █████ ██████████ █, o ██████ de █████████████ para os █-██████ ██████████ ███ a ████████████, e é um ██████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ de ████ que, para ████ ██████ █ :

${\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>}]=}$ {█████████ █ -███████████ em █ } / ~ ${\displaystyle ,[\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}]\mapsto {\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}^{\ast }E\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$

Em que:

• O ████ ████████ é o ████████ de ███████ de █████████ dos █████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\to \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ ,
• ~ : ██████-se ao ███████████ de ██████, e
• = : é ████ ███████ para ████ o ██████ ████████ ${\displaystyle E\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ em ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ (███████ ██████ █████████) ao █████ de um ████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\to \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ .

O ███████ da ██████████████████ de █████ ███████ a ██████████ de ███████ de █████████████.

█████ █████, se ████████ ███████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ e ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ , ███████ que eles ███ ████████████ se ███████████ a ██████████ de ███████ █████████ entre eles.

█████ mais de uma █████ para ███████ de █████████ ██████████, entre as quais:

• O █████████████: ██████ quando a sua ██████ ███████ ${\displaystyle {\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}^{-\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}}$ ██████ ███ ████████. Essa ██████, ████ █████████, ███████ ██████ █████ ela uma ██████████ de uma ██████████, por ███████.
• O █████████████: é uma ██████ █████████████ que ██████ ██████ ███████ ${\displaystyle {\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}^{-\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}}$ ██████████ █████████████, ███ ██████████ ██████.

████████ e ███████████ ████████████

A █████ de que um ██████ de █████████████ ██████████ os ███████ ██████████ pode ser ██████ ███████. Por ███████, as ███████ de ███████████ █████ ser █████████████ da ████████ █████: ████ um █████ ████████ A (como ${\displaystyle \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>}(A,\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>};A)}$

Onde ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}(A,\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})}$ é o ██████ █████████ – ███████ . A ███████ █████ ████ a █████ de que uma ██████ de ███████████ ████████████, isto é, um ███████ ██████████████ da █████████ de ███████ para a █████████ de ██████ █████████ que ████████ os ███████ que ███████████ a ██████ da ███████████ █████. ████████ que ███ ███████ pode ███ ███ ser mais ████████████ por um ██████, mas ██████ pode ser ████████████ por uma █████████ de ███████ (████████) com █████ de █████████ ████████ de ████████. Em ██████ ████████, pode-se █████ que ████████ uma ██████ da ███████████ ████████████ é ████████ um ████████.

Um ███████ ██████ de um ████████ é um ████████ de ██████ : ${\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>}}^{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}\to {\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}^{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}\to \cdots }$