███████

████████

• █████ A e █ ██████████, com ██████ █ ∈ █, ██ o ███████ █████████ █(█) : A → █, com ██████████$${\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>}\stackrel{\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>}\stackrel{{\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>}.}$$
• Se ███ ██████ a █████████ dos █████████ ████████, ██ █ ███████ ██████████████ de ███ a ███, com ██████████$${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}(A\stackrel{\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>})\stackrel{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\mapsto {\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}^{\leftarrow }(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})}{\to }\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}(A),}$$em que █(A) é o ████████ de ██████ de A, e █^←(█) é a ███-██████ de █ por █.
• Se █-███ ██████ a █████████ dos ███████ █████████ ████████ sobre um █████ █, ██ ███████ ██████████████ (█)^* de █-███ de █-███, com ███████████████$${\displaystyle (\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\stackrel{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}{\to }\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}{)}^{\ast }={\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}^{\ast }\stackrel{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\mapsto \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\circ \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}{\to }{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}^{\ast },}$$em que █^* = ███_█(█, █) ██████ o ██████ ████ a █.
• A ██████████ de ████ ██████ com ████ (█, █) ao ██████████████ █████ ███████████ █_█(█, █) é ██████████.

█████████

Um █████████ é um ███████ ████ ███████ é um ███████ de ██████████ █ × █. ████ █████████ █ : █ × █ → █ e ██████ █ ∈ █, o ███████ █(–, █) : █ → █ é ████████ 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>}\stackrel{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}{\to }{\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>},\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})\stackrel{(\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>}}^{\prime },\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})).}$$De █████ ███████, ██ o ███████ █(█, –) : █ → █.

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

Para ████ █ ████████ de ████████████, ██ a █████████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\text{-}\mathsf{<span\; word-length="1"\; class="word\; redacted">█</span>}\mathsf{a}\mathsf{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ (ou, ██████████, ${\displaystyle \mathsf{<span\; word-length="1"\; class="word\; redacted">█</span>}\mathsf{a}\mathsf{<span\; word-length="1"\; class="word\; redacted">█</span>}}$) █████ ███████ ███ as ██████████ que █████████ a █ e █████ █████████ ███ os █████████ entre essas ██████████.

Um ████████ ███████ é a █████████ de █████████ █^█, █████ ███████ ███ os █████████ █ → █, e █████ █████████ ███ as ██████████████ ████████ entre esses █████████.