█-██████

Na ██████████, a ██████ █ é, ██████ ████, o ██████ de um ████ ██████ por ████████ █████████ sobre um ██████ ██████████ ou ███████. Na █████████ █████████, é uma ██████ de ██████████ █████████ como ██████ █ ██████████. Na ███████ e na █████████ █████████, é ████████ como ██████ █ █████████. É ██████ uma ██████████ ███████████ no █████ das ████████ de ██████████. Pode ser █████ como o ██████ de ██████ █████ de ███████████ de ████████ ███████.

A ██████ █ ███████ a ██████████ de ████████ de ████████ █ que ███████ ███████ ███████████ ou ████████, ou para ser █████ mais █████: ████████ ██████ de uma █████████ de █████████ em █████ ██████████; esses █████ ████████ ██████ ████████ da █████████ dos ███████ ou ████████ █████████. █████ como ██████ com os ████████ para ██████ na █████████ █████████, a █████ para esse ██████████ █████████ é que é mais █████ ████████ ███████ ████████████ ███████████ a ██████ dos █████ ████████ do que a ██████ dos ███████ ou ████████ █████████. ████████ de ██████████ ███████ a ██████ da █████████ da ██████ █ ███████ o ███████ de ████████████–███████–████, a █████████████ de ████, o ███████ do ██████ de ██████-██████ e as █████████ de █████.

Na ██████ de █████ ████████, a ██████ █ e, em ██████████, a ██████ █ ███████ ██████████ na ██████ das ██████ ████ ██, onde se ███████████ que elas ███████████ █-██████, ████████████ de █████ de ██████-██████ e ██████ ██████ █████████ em ██████████ █████████ █████████████. Na ██████ da ███████ ██████████, a ██████ █ tem sido █████ para ███████████ █████████ ███████████, ███████████████ e ███████████ de █████ ████████. Para mais ████████, ████ ██████ █ (██████).

O █████████████ de ████████████ de um ███████ ████████ em um █████ ████████ é um ███████████ ██████████ para ███████ a ██████ █, ████ █████ as ██████████ ███████ ███████████ um ███████ ████████ a ██████ de uma █████████ ████████ e █████████████-o em um █████ ████████ ███████ █████ ██████████ █████████. ████ um ███████ ████████ ${\displaystyle (A,{+}^{\prime })}$, ████ ${\displaystyle \sim }$ a ███████ em ${\displaystyle A^{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}=A\times A}$ ████████ por

${\displaystyle (a_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}},a_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}})\sim ({\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>}})}$

se ██████ um ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\in A}$ ███ que ${\displaystyle a_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}{+}^{\prime }{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}{+}^{\prime }\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}=a_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}{+}^{\prime }{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}{+}^{\prime }\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}.}$ █████, o ████████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}(A)=A^{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}/\sim }$ tem a █████████ de um █████ ${\displaystyle (\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}(A),+)}$ onde:

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

As ███████ de ████████████ █████ █████ █████ ser ████████ como ██████████ ███████ de █████████ no ███████ ████████. Este █████ ${\displaystyle (\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}(A),+)}$ ██████ está █████████ a um ████████████ de ████████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}:A\to \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}(A)}$ ████ por ${\displaystyle a\mapsto [(a,\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})],}$ que tem uma █████ ███████████ █████████.

Para █████ uma ██████ ███████████ █████ █████, █████████ ███████ ███████ de ████████████ do ███████ ████████ ${\displaystyle (A,+)}$. ████ ███████████ o ████████ ██████ de ${\displaystyle A}$ por ${\displaystyle \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 ████████ ██████ de ${\displaystyle (\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}(A),+).}$ ████████, ${\displaystyle (\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>},\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})\sim (\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>}\in A}$, ██ que ███████ ███████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}=\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ e ███████ a ███████ da ███████ de ████████████ para █████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}=\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}.}$ Isso ███████ que

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

████████, █████ um ███████ ███████ ${\displaystyle [(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>},a)]}$ para ████ ${\displaystyle [(a,\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})]\in \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}(A)}$. Isso ████ nos ███ a ████ de que ███████ ██████ nas ███████ de ████████████ ${\displaystyle [(a,\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})]}$ como ██████████ ███████ ${\displaystyle a-\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}.}$ █████ ██████████ ████ é a ███████████ das ███████ de ████████████ sob ██████:

${\displaystyle (a,\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})\sim (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>})}$ para ████████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\in A.}$