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

La ██████ de ██████████ es un ███████ ██████████ que █████ de ███████████ de █████ █████████ ████████ ███████████ ███████████ como una ████, ████████ el ███ de ███████ █ █████████. Al █████ ██████, █████ de ███████ una █████ █████ de ███ las ███████████ sin ███████ las ████████ de █████████, ███████████, entre otras.

La ██████ de ██████████ fue ███████████ en █████████ ██████████, por ██████ █████████ █ ████████ ███ ████ en ████, como un ████ ███████ para la ██████████ desde █████████ a ██████ de la █████████. █████████ ████ ██████ que ████████ █████ █████████ en la ███████ ██████ de los ████ ████.

Los ███████████ █████████████ de la ██████ fueron ██████████ por las ███████████ ███████████████ del ███████ ██████████ █ ███ █████ por las ███████████ ███████████ de la █████████ ██████████.████████████ al ███████ █████████". La ██████ ███████ -██████ █████████████ del ███████ █████████ con ██████ ███████████████ ██████ que █████ ███ a una ██████ ████████████ en █████████ █ ███████ de █████ ████████- ████ ███ █████.

Estas ████████████ de ██████████ en el █████ de los ███████████ █████ ██████ ██████████ en ████████ ███████ █ no █████████ en ███████████. ███████ ███████████ como ███████ ███████ que ████████ en la ██████, ███████ ███████ ██████████ en █-██████████, ████ ████. La ██████ ██████████ es █████ un █████ ████ ████████ ██████ en la ██████ de █████ para la ██████ █████████████, con ████████████ a la ██████ de la ████████████ █████████ █ la ██████ de ████████, █████ ██████████ en una █████████ ███████████████ ███████ como █████████████ no ███████████ del ███████ ██████. El ███ del ████████ de la ██████ de las ██████████ le ███████ a uno ███████ qué ██████ ███████████ en █████ █████ estas █████.

Con el ████████ de █████████ se ████████ ████████ -████████ el ███████ en el ████████ de ████████ (de ██████████), ███ que de ████████ █ ███████████- la ███████ de una █████ de ███████ ███████████, que se ██████████ ████████ ████████████, los █████████ en la █████████ en ████████. Por ███████, la █████ de los ██████: en ███ de ████████ los ███████ ████████████ (████ █████) como se ████ ████████, se █████████ ██████ █████████ entre ellos, que no son otra ████ que las ████████████ que "█████████ su ██████████". En el ███████ de los ██████, ██████ █████████ son los █████████████ de ██████. ████████, una ███ que ███████ ███████ "████████ ██████████" ████████ -████ es, una █████████- es ███████ ████████████ con otras ██████████ ████████ ████████, que son ██████ ██████████████ del ████████ de ███████ para ██████████: un ██████ ██████ a ████ ██████ de una █████████ un ██████ de la otra, █ a ████ ██████████ de la ███████ una ██████████ de la ███████. De ██████ ████ nos █████ de una ██████ de la █████████ █████ la otra █████████, con ███████ ██████ de "███████████". ███████ "██████████████ █████████", como el █████ ███████████ de un ███████ ██████████, ██████ ser ██████████ como ████████. ██████, ██████ ████████ █████ ███ a ██████ ████████████ ████████████ █ ████ █████ al ████████ de ██████████████ ███████.

██████████ ██████████, como los █████, █████ █████████ ███████ como ███████████ "██████████████" █ ███████████████ ███ ████ de la ██████ de █████████ como ██████████ de las ███████████.^{[████ █████████]}

Para ████████ los █████████ ████████ de las █████████ como la de ███████ se ███████ el █████████ ██████ a la ██████ de █████████:

• ██████████ "█████" a una ██████████ de ███████.
• ██████████ "████████" a las ██████ ███████ de ser, ellas ██████, ███████ de otras ██████.
• ██████████ "█████ ██████" a las ██████ █████████ de ser ███████ de otra █████.

${\displaystyle \mathcal{A}}$ es una █████████ si ██████ de lo █████████:

█) Una █████ ${\displaystyle \mathrm{<span\; word-length="2"\; class="word\; redacted">██</span>}(\mathcal{A})}$, ███████ █████ de ███████ de ${\displaystyle \mathcal{A}}$.

█) Para ████ ███ de ███████ ${\displaystyle A,\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\in \mathrm{<span\; word-length="2"\; class="word\; redacted">██</span>}(\mathcal{A})}$, un ████████ ████████ por ${\displaystyle {\mathrm{<span\; word-length="3"\; class="word\; redacted">███</span>}}_{\mathcal{A}}(A,\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})}$ o ${\displaystyle {\mathrm{<span\; word-length="3"\; class="word\; redacted">███</span>}}_{\mathcal{A}}(A,\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})}$ (los ██████████ ██████ ████████ ██████ está █████ cuál es la █████████ a la que se ████████). Los █████████ de este ████████ se █████████ █████████ de ${\displaystyle A}$ a ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$. Un ████████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ de ${\displaystyle A}$ a ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ se ███████ ███████ como ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}:A\to \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ o ███████ ${\displaystyle A\stackrel{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}{\to }\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$.

█) Una █████████ ███████, ██████████ ███████████ de █████████ █ ████████ por ${\displaystyle \circ }$. █████ ████ ███████ ${\displaystyle A}$, ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ █ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ de ${\displaystyle \mathcal{A}}$, la ███████████ ██████ una ██████████ ${\displaystyle \circ :\mathrm{<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 \mathrm{<span\; word-length="3"\; class="word\; redacted">███</span>}(A,\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})\to \mathrm{<span\; word-length="3"\; class="word\; redacted">███</span>}(A,\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})}$ :\████████████ {███} (█,█)\█████ \████████████ {███} (A,█)\██ \████████████ {███} (A,█)} . La ███████████ de un ████████ ${\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>}}$ con un ████████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}:A\to \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ se ██████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\circ \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ o ███████████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$. La █████████ ███████████ █████████ las ██████████ ███████████:

a) ██████████: si ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}:A\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>}}$ son █████████ entre ███████ ${\displaystyle A}$, ${\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>}}$ de ${\displaystyle \mathcal{A}}$, ████████ ${\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>}}$.

█) ██████████ de █████████: para ████ ██████ ${\displaystyle A}$ de ${\displaystyle \mathcal{A}}$, ██████ un ████████ de ${\displaystyle A}$ a sí █████ (es █████, un ████████ de ${\displaystyle \mathrm{<span\; word-length="3"\; class="word\; redacted">███</span>}(A,A)}$), ████████ por ${\displaystyle {\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}_A}$ o ███████ ${\displaystyle {\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}_A}$, █ ██████████ ████████ █████████, █ ███ que, para █████████ ████████████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}:A\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 A}$, se █████ que ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\circ {\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}_A=\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ █ que ${\displaystyle {\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}_A\circ \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}=\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$.

████

Si las ██████ de ███████ son █████████ █████████, se ████ que la █████████ es "███████" (█████ ████████). ███████ ███████████ ██████████ que no lo son.

█████ ███ ██████████ ${\displaystyle \mathcal{A}}$ █ ${\displaystyle \mathcal{<span\; word-length="1"\; class="word\; redacted">█</span>}}$, ███████ que ${\displaystyle \mathcal{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ es una ████████████ de ${\displaystyle \mathcal{A}}$ si: