██████ de ███████

█████████

Os █████ █████ ser ██████ como uma ████████ █████████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}:\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\to \mathcal{<span\; word-length="1"\; class="word\; redacted">█</span>}}$, onde ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\in \mathcal{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ ███████ com █████████████ ${\displaystyle \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>}]}$.

Os █████ ███ ███████████ por ███████ (████████) sobre um ████████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$.

Um ██████ é uma ██████

${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}:\mathcal{<span\; word-length="1"\; class="word\; redacted">█</span>}\to {\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}^{\ast }}$ (ou ${\displaystyle {\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}^{+}}$ se a ██████ █████ ███ █████ █████ do ████████).

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

O ███████████ da ███████-██████ é ███████ como

${\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 ███████████ ████████ de um ██████ é

${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})=\sum _{\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>}(\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>}].}$

A ████████████ de ████████-██████ ${\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>}},\dots ,{\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>}})\cdots \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 ███████-██████ da ██████ █████ é a ███████ ██████ █████:

${\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>}}$

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

1. ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}:\mathcal{<span\; word-length="1"\; class="word\; redacted">█</span>}\to {\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}^{\ast }}$ é ███ ████████ se ████████.
2. ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}:{\mathcal{<span\; word-length="1"\; class="word\; redacted">█</span>}}^{\ast }\to {\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}^{\ast }}$ é ██████████ █████████████ se ████████.
3. ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}:\mathcal{<span\; word-length="1"\; class="word\; redacted">█</span>}\to {\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}^{\ast }}$ é ███████████ 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>}})}$ ███ é um ███████ ███████ de ${\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 ████-█████).

█████████

A ████████ de uma █████ é a ██████ da ██████████. ███████████, os ███████ de █████ ██████ ███████ a ███████████ ████████ na █████ e ███████████ a █████ com █████ ████ que ████████ mais ██████████.

A ██████████ de █████ que █████ ██████████████ █████████ o ███████████ █████ das █████████ de ██████ com um ███████████ ██████ de █████████████ ████████ é ███████ de ███████████ █████████.

██████ ████████ ██████ por ████████ de ███████████ de █████ ██████ ███████ o ██████ da ████████ da █████. █(█) ≥ █(█), onde █(█) é a ████████ da █████ (████ de ████), e █(█) é a ████ de ████ ████ a ██████████. Em ██████████, ██████ ███████ de ███████████ de █████ pode ser ██████ do que a ████████ da █████.

███████

A ███████████ por ███-██████ ███ um ███████ ██████ de ███████████ de ████████. A ███████████ de █████ ██████ █████ os █████ ██████████ à ███████████ do ███████████, ██████████ a ███████ de █████ ██████████ para a ███████████.