██████ das ██████████

Na ██████████, a ██████ das ██████████ █████ uma █████████ ████████████████ █████ de ████████ ██████████ e ███████████ ██████, █████████-os dos ███████████ a ████ ████, ██████████████ a █████████████ e ████████████ de █████████████. A ██████ ██████-se nos █████████ de █████████, que é uma █████████ do ████████ de ██████████ de ███████, de ███████, ██████████████ entre ██████████, e de █████████████ ███████, a qual █████ um ███████████ ███████ para ██████████ como "███████" e "████████".

O ████████ de ██████████, █████████ e ██████████████ ████████, em █████ ████████████, foi ███████████ por ██████ █████████ e ████████ ███ ████, em ████, em seu ██████ "███████ ██████ ██ ███████ ████████████". Nos ████ █████████, a ██████ das ██████████ foi █████████ na █████████ █████████ e ███████ ██████████, por ██████ ████████, █████████ ████████████ e ██████. Em ████, ██████ ███ ████████ o ████████ de █████████ ████████, que, ███████ ███ ████, ███ "████████████ na ██████████". Desde █████, █████ ████████ ████████████████.

█████ de ████ █████ de █████████, é ███████████, █████ do ██████ de ██████ das ██████████, █████████████ de █████████ ███████ de ███████ ██████, ███████ ████████ e █████████, por ███████.

Uma █████████ █ ████████ nos █████████ █████████:

• Uma ███████ de ███████ de █.
• Para ████ █████ a, █ de ███████, uma ███████ de █████ (ou █████████) do ███████ (ou ██████) a ███ o █████████████ (ou ███████) █, para as quais ███ ██████ a ████████ █ : a → █ e █ ∈ ███_█(a, █).
• Para ████ ██████ a, uma ████ de a ███ a, ███████ ██████████ █_a : a → a.
• Para ████ ██████ de ███████ a, █, █, uma ████████ de ██████████, ███████

  ████ ████ █ : a → █ e ████ ████ █ : █ → █ a uma ████ █ ∘ █ : a → █.

• █████ ser ███████████ as ██████████:

  (███ da ██████████) Para █████ ███████ a, █ e █████ as █████ █ : a → █, ████ █_█ ∘ █ = █ = █ ∘ █_a.

  (███████████████) Para █████ ███████ a, █, █, █ e █████ as █████ █ : a → █, █ : █ → █ e █ : █ → █, ████ (█ ∘ █) ∘ █ = █ ∘ (█ ∘ █).

██, por ███████, ██████████:

• █████ ███████ ███ █████████, e █████ █████████ ███ ███████ entre █████████;
• █████ ███████ ███ ██████, e █████ █████████ ███ █████████████ de ██████;
• █████ ███████ ███ ███████ ███████████, e █████ █████████ ███ ███████ █████████;
• █████ ███████ ███ os █████████ de um ████████ ███-████████ ████ (█, ≤), e ███ que, para █████████ ███████ █, █ ∈ █, o ██████ de █████████ █ → █ é ██████████ um se █ ≤ █, e ████ se ¬ (█ ≤ █).
• █████ ███████ ███ ████████ de um █████, e █████ █████████ ███ ████████ █████ █████.

██████ ████ ███████ ████████, ███████-se que os ███████ █████ ███ ███ "█████████", e os █████████ █████ ███ ███ ███████ com ███████.

Para a █████████████ de ████████ entre os █████████, ████-se █████████ ███████████ de ██████ dos ███████ e █████ de uma █████████; uma █████████ de █████, ████ uma █████ ███████ ███████████ com a ██████ da ████████, ██████████ a ██████████ de █████████ ███████████████. Um ██████ █████████ é ███████ ████████ ██████████ quando █████████ ████ ██████████ de █████ que ███████ num mesmo ██████, e que ████████ ██████ num mesmo ██████, têm ███████████ ██████.

████████ ████████ em ████████ o ███████ de ████ uma das █████ em um ████████; ████ █████████ tem uma █████████ ██████. █████ ████, os ████████ e ██████████ em ██████ das ██████████ se █████████ em ██████, um █████████ █████ ██████ do █████ ████████ ████ █████████ pela ██████; por ███████, um ███████████ é um ████████████ na █████████ ██████, um █████████ é um ███████ na █████████ ██████ ███.

Um ███████ é uma ███████████████ entre ███████ de ████ ██████████ que pode ser █████████ a uma ███████████████ entre █████████, de ████ que █████ ███████████ as ███████████ e as ███████████. Mais ████████████, █████ ██████████ █ e █, um ███████ (██████████) de █ ███ █, ███████ █ : █ → █, ████████

• de uma ██████████, a ████ ██████ █ ∈ █, de um ██████ █(█) ∈ █,
• de uma ██████████, a ████ ████████ █ : █ → █, de um ████████ █_{█, █}(█) = █(█) : █(█) → █(█),