██████████ (█████████████)

███████████

Une ████████ qui n'est pas ████████ est ████ ███████████.

C'est l'████ du █████ █ ████ à l'██████ qui est ██████████. Cette ██████████ est le █████ des ███████ des ██████████████ du ███^█ ██████ pour ██████ ██████████ la ██████ █████████ de ██████████. En ███████ ███ ████████, une ████████ plus █████████ est ████████ : on ████ que █ est ████████ en a si █(█) – █(a) est ██████████ █████ █████ █ – a est ██████████ █████. ████ ██████ █████ sur une ██████████ ██████████ des ██████████ ██████ et cette ██████████ ne s'████████ qu'aux █████████ █████ █████████.

La ██████████ ███████ de la ██████████ dans le █████ des ███████ ████████████ (████ plus ███) ██████ elle █████ de s'██████████ des █, mais ceci au ████ du ██████████ de la █████████ ████████.

████████

• Une ██████ ██████ des █████████ ████████ sont █████████ sur leur ███████ de ██████████ : █████████ ████████████, ████████████, ██████████████, ███████████, █████████████, ████████████████, ██████ n-████, █████████ n-████, ██████ ███████.
• La ████████ ██████ ███████ sur les █████ est ███████████ : on « ████ le ██████ » en ████████ à ██████ ██████.
• Une ████████ ██████ █████████ en un █████ est ████████ en ce █████. (La ██████████ est ██████ : ██. § « Des ███████ à ██████ ».)
• Il ██████ des █████████ ████████ sur █ qui ne sont █████████ en █████ █████ : c'est le ███ de la ████████ ███████████ de █, ███████ la ████████ de █████████, qui ████ █ en ████ █████ █████████ et █ ████████. █████████████, on ████ ████ que, pour ██████ cette ████████, il ████████ « █████ le ██████ » une ████████ de ████ par ██████████, et ███████ ██████ █████ de ████████ ███ █████ ne peut ████ ██████.
• Cet ███████ « ████████████ » se ██████████ : pour ████ ████████ █_█ (c'est-à-████ █████ ███████ d'une █████ de ██████) d'un ██████████ █████ ███ ███████ █ de █, il ██████ une ███████████ de █ dans █ dont les ██████ de █████████████ sont ██████████ les ████████ de cet ████████ (c'est en ████ une ███████████████ des █_█).

██████████

La ██████ de ██████████ sur un ██████████ pour les █████████ ███████ :

• est █████ pour ███████ l'█████████ de █████████ à des █████████ de la █████ █(█) = m (████ ████████ des ███████ ██████████████) ;
• █████████ le ██████ de ███████ ███ ${\displaystyle \underset{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\to a}{<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>})=\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}(a)}$.

La ████████ de █████████ █████████ est une ████████ ████████. La ████████ d'une ████████ ████████ et d'une █████ ███████████ est une █████ ███████████.

Les ██████████ de █████████ de la ██████████ par ███████████ ████████ (█.█. pour ████ █, █ █████ et █, █ █████████ ███████ █████████, la ████████ ██ + ██ est ████████) et par ███████ de ████ █████████ ████ de l'████████ des █████████ █████████ une ███████ sur le █████ des █████.

Des ███████ à ██████

• Une ████████ █████████ en un █████ est ████████ en ce █████ mais la ██████████ est ██████. Par ███████ les █████████ ██████ ██████ et ██████ ███████ sont █████████ en █ mais ███ ██████████ en ce █████ (████ l'███████ « ████████████ »).
• Une ████████ █████ que █ : █ ↦ █/█ est ███ et ████ ████████. L'██████ ██████████ à ████ que █ n'est pas ████████ en █ est █████████ par l'███████ de █████████ sur son ███████ de ██████████ : la ██████████ en un █████ █████ ████ du ███████ de ██████████ n'a pas de ████. Dans le ███ de █, ████ qu'une ██████ n'est pas ████████ pour █(█), on ████ ████████ que le ███████ de ██████████ █████████ est █*. █████, ████ que █ est ou n'est pas ████████ en █ n'a █████ ████ ; on peut █████████ ████ qu'elle n'est pas ████████████ en une ████████ ████████ en █.
• Dans l'████████, la ██████████ d'une ████████ █████ ██████ █████ « ne ███████ pas ██████ d'une ██████ à une █████ sans ██████ par ██████ les ███████ ██████████████ » (█████████ ███████ ███████ ███ pour « █████████ des ███████ ██████████████ ») mais on ████ ███████'███ qu'il n'y a pas ███████████ entre les ████ ; la █████████ des ███████ ██████████████ est ██████████ pour qu'il y ███ ██████████ (c'est le ████████ des ███████ ██████████████), mais pas ██████████ (la ████████ █ : █ ↦ ███(█/█) █████████ par █ en █ ███████ ████ la █████████ des ███████ ██████████████ et est ████████ ███████████ en ████).

██████████

À ███████, █ est █████ ████████ en a si et █████████ si la ██████ de █ en a ██████ (elle ████ █████ ██████████████ █(a)).

████████

• █████ ███████████ ████████████ ████████ entre ████ ███████ █████████ — en ███████████ █████ ███████████ ██████████████ — est ████████.
• Une ███████████ ████████ d'un ██████ █████████ █████ vers un █████ est ████████ si et █████████ si elle est ██████ sur la █████ █████ (et elle est █████ ██████████████).

C'est ████████ le ███ si l'██████ de ██████ est de █████████ █████, mais le ███ ███ █████ se ████████ en █████████ ███████ : ███████████ █████ ███████████ ████████ la ██████████ sur l'██████ █[█] des █████████ █████, en ███████████, █████ █████ d'un ████████, la █████ des ███████ ████████ de ses ████████████. ████ les ███████ █ⁿ sont de █████ █. ████████ leurs █████████ ███████ sont de la █████ ██^n–█, ████ de █████ n avec n ██████████████ █████. ████ la ███████ des ████████ n'est pas ██████, et la ██████████ n'est pas une ███████████ ████████.

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

On peut █████ ███████ la ██████████ ██████ (c'est-à-████ pour un █████) de la ██████████ sur la ██████ de ██████ :

Si █ est ██████ (ou ████ █████████ T_█) █████ ████ ██████ ██████████, il ██████ pour cela qu'il ██████ une ██████ de █ en ce █████.

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

Si █ est ██████████ (ou plus ████████████ : ███████████████ ██████████), █ est ████████ en a si (et █████████ si) pour █████ █████ (█_n) ███████████ vers a, la █████ █(█_n) ████████ vers █(a) ; et ███████ de plus █ est T_█ (ou ████ █████████ à ██████ ██████ ████████████), il ██████ que pour █████ █████ (█_n) ███████████ vers a, la █████ █(█_n) ███████ une ██████.

La ██████ de █████ ████████ pour les █████████ ███████ est ███████████ par la ██████ de █████████ : ${\displaystyle \mathcal{<span\; word-length="1"\; class="word\; redacted">█</span>}(a)}$ ███████ l'████████ des ██████████ de a, et ${\displaystyle \mathcal{<span\; word-length="1"\; class="word\; redacted">█</span>}\left(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}(a)\right)}$ ████ de █(a). On ████████ █████ :

La ████████ █ est ████ ████████ sur █ (ou ██████████ : ████████) si elle est ████████ en ████ █████ de █. Elle est ████ ████████ sur une ██████ A de █ si sa ███████████ à A (████ de la █████████ ███████) est ████████ (il ██████ pour cela que █ ████ ████████ en ████ █████ de A).

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

On peut ███████ de la ██████████ ██████ █████ ████████████████ ████████████ des ████████████ qui sont █████████ (en ████ █████ de l'██████ de ██████).

La ████████ d'entre elles est qu'une ███████████ est ████████ si et █████████ si l'█████ ██████████ de ████ ██████ de l'██████ d'███████ est un ██████ de l'██████ de ██████. La ████████, ████████, s'█████ en ██████ de ██████. La █████████ ███████ les ███████ d'█████████ et d'█████ ███████ et les ████ █████████, ██████ d'█████████ ou de █████████ et d'█████ ██████████.

Le ████ avec la ██████ █████████ est le ███████ : █████ une ████████ « █████ », cela ████████ que des ██████ ████ ███████ de l'██████ de ██████, se ██████████ sur des ██████ ████ ████████ à l'███████. ██ pour une ███████████ ████████, ces █████ sont ███████████, d'█████ le ████████ █████████.

• Les ████████████████ █ et █ sont ███████ █████████, a █████████, pour ███████ qu'un ███████ ████████ est ██████ (ou █████) en ███████ ██████████ une ███████████ qu'on ████ ████ ████ ████████. Par ███████ :
  • dans █^█, l'█████████ d'████████ ██ = █ est ██████, █████ █████ ██████████ du █████████ {█} par l'███████████ ████████ « ███████ » : █^█ → █, (█, y) ↦ ██ ;
  • le ██████ d'une ███████████ ████████ █ : █ → █ est █████ dans █×█ dès que █ est ██████ ;
  • ████ ████████████ █████████ à ███████ dans un ██████ ██████ qui ██████████ sur une ██████ █████ sont ██████. Ceci ██████ par ███████ de ███████ que l'████████ des █████████ █████████ de █ dans █ n'a que la █████████ du ███████ ████ que son ████████ est ███████████ plus █████ que |█^█| = |█(█)|.
• Dans les ████████████████ █ et █, les ██████████ ███████████ sont ███████ en ███████. Par ███████ si █ est l'███████████ ████████ de █ dans █ qui à █ ███████ █ si █ ≤ █ et █/█ si █ ≥ █, █ n'██████████ pas à █(█) █████ qu'il ██████████ à █(█), et n'██████████ pas à █ ^−█(]█, █[) █████ qu'il ██████████ à █^−█(]█, █[).
• D'█████ ce ████████, █████ ███████████-█████████████ d'une ███████████ ████████ est ████████ (pour les ██████████ ████████).
• Ce ████████ ██████ █████ de ███████ que si █ est une ███████ d'███████ ████ que la ███████████ de █ à ██████ de ces ███████ ████ ████████ █████ █ est ████████, et de ████ si █ est ███████ d'un ██████ ████ de ██████ ████ que la ███████████ de █ à ██████ de ces ██████ ████ ████████. Pour une ███████ (████ █████) de « ███████ ███████████ », on n'a █████ ████████ de ce █████ (██. « ████████ de █████████ »).
• Si █ est ██████████ █████ █ est ████████ sur █ si (et █████████ si) pour ████ █████ a de █ et █████ █████ (█_n) ███████████ vers a, la █████ █(█_n) ████████ vers █(a).

████████

• Une ███████████ █████████ d'un ██████ ███████████ dans un █████ est ████████. En █████, l'█████ ██████████ de █████ ██████ est ████ l'████████ ████, ████ l'████████ de ██████ ████ ██████.
• █████ ███████████ dont l'██████ de ██████ est ████ de la █████████ ████████, ou l'██████ d'███████ de la █████████ █████████, est ████████.
• L'███████████ ████████, d'un ████████ ████ d'une ████████ █████████ vers le ████ ████████ ████ d'une █████ █████████, est ████████ si et █████████ si la █████████ sur l'████████ de ██████ est plus ████ que █████ sur l'████████ d'███████. La █████████ ██████████ n'est █████ pas ████████, ████ si les ████ ██████████ sont ██████.
• ██████ A une ██████ d'un ██████ ███████████ █, et █_A sa ████████ ███████████████ :
  • de █ dans █ (ou, par █████████████, de █ dans la █████ {█, █} █████ de la █████████ ████████), les ██████ de █ en ████████ █_A est ███████████ sont les ██████ de la █████████ de A ;
  • de █ dans l'██████ de ██████████ (la █████ {█, █} █████ de la █████████ { ∅, {█}, {█, █} }), les ██████ de █ en ████████ █_A est ███████████ sont █████ █████████ les ██████ de A ███ ██████████ à A.

███████████ de la ██████████ ████████ et ███████████

Un ██████ ████████ (█, d) ███████ une █████████ ████████ █. Pour ████ █████ a de █, les ██████ ████████ de ██████ a et de ██████ ███████████ ████████ ███████ une ████ de ██████████ de a pour cette █████████. Si █' ███████ la █████████ ████████ à un ██████ ████████ (█', d'), █████ :

En █████, la ████████ est ████████ en a du █████ de ███ ███████████ si et █████████ si (en █████████ les d'-██████ ███████ une ████ de ██████████ de █(a)) : ${\displaystyle \mathrm{\forall }\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>}}\left(\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>})\right)\in \mathcal{<span\; word-length="1"\; class="word\; redacted">█</span>}(a).}$ En █████████ les d-██████ ███████ une ████ de ██████████ de a, cette █████████ se ███████ : ${\displaystyle \mathrm{\forall }\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}>\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\mathrm{\exists }\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>})\subset {\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}^{-\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}\left(\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>})\right)}$ ou ██████ : ${\displaystyle \mathrm{\forall }\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}>\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\mathrm{\exists }\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}>\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\mathrm{\forall }\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\in \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>})\in \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>}),}$ ce qui ██████████ ██████████ à la ██████████ de la ██████████ ██████████ par les █████████.