███████ des ██████████

██████████

█████ un ███████. La ██████ ███ des ███████ ████████ ████ les ██████ █████ une « █████████ de ██████ ». Plus ███████████, ███ ████████ ████ les █████████ █ █████ d'une █████████ ███████ qui █████████ les ███████ d'█████████████, █████████████ et de l'███████ ██████. Des █████████ ███████ █████ ████ ███████ en ██████████ des ██████████ ████████ à ██████ de ces ███████. Par ███████, ils █████████ la ██████ ███████ que l'███████ ██████ d'un ██████ est ██████.

Au ████ d'███████ les ██████ (par ███████ les ███████) qui █████████ une █████████ ██████, █████ les ████████ █████████████ l'ont ████████ ████, la ███████ des ██████████ ███ l'██████ sur les ██████████ et les █████████ qui ██████████ la █████████ entre ████ ██████. Il ████████ qu'en ████████ ces ██████████, l'on est ███████ d'en █████████ plus sur la █████████ des ██████.

Dans notre ███████, les ██████████ ███████ sont les ██████████ de ███████, à ██████ █████ ███████████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ d'un ██████ ${\displaystyle (\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>},\bullet )}$ dans un ██████ ${\displaystyle ({\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}^{\prime },\star )}$ █████████ : ${\displaystyle \mathrm{\forall }\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>},y\in \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>}\bullet y)=\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})\star \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}(y)}$. L'█████ des ██████████ de ███████ ███████ un █████ pour ███████ les ██████████ █████████ des ███████ et les ████████████ des ███████ ████████ aux ███████.

Il en est de ████ dans de ██████████ ████████ █████████████, où l'on peut ███████ une ██████ d'██████ █████ que des ████████████ █████████████ entre ces ██████ █████████ █████████ ██████████. Un █████ ███████ de █████████ est █████ par la ██████ des ███████ ██████████, les ██████████ █████ les ████████████ █████████. Un ███████ ███████ est █████ par la ██████ des ███████ ████████████, les ██████████ █████ les ████████████ █████████. █████, une █████████ est une ███████████ ███████████ qui █████ des ██████████ █████████████ aux █████████ qui les ██████████. Une █████ ████████████ des ██████████ ██████ de ███████ des █████████ ████████ à ██████ des ███████ d'une █████████.

█████████

Une █████████ est elle-████ un ████ de █████████ ████████████. Si l'on ███████ de ████ ██████████ ${\displaystyle \mathcal{C}}$ et ${\displaystyle \mathcal{D}}$, il est ███████ ████████ de ███████ une ██████████████ entre la ████████ █████████ et la ████████, █████████ à ██████ █████ (██████████████ ██████ █████████) de la ████████ █████████ un █████ (██████████████ un █████████) de la ████████, ████ en ██████████ la █████████ de █████████. De ██████ ███████████████ sont ████████ █████████.

Si l'on se █████████ aux ███████ ██████████ (c'est-à-████ aux ██████████ dont les ███████ d'██████ et de ██████████ sont des █████████), on ███████ █████ la █████████ des ███████ ██████████ ███ : ses ██████ sont les ███████ ██████████, et ses ██████████ sont les █████████.

Cette ████ ████████████ de ██████ une ██████ d'██████ à une █████ ███████ d'█████ en █████████ ██████████ : ████████ █████████ ████████████ █████████ ███████ ████ ████████ en █████████ ███████████, qui sont ███████ plus ███████ à ████████. █████, on peut ███████ un ████████ de la █████████ des ███████ ████████████ dans la █████████ des ███████, qui, à un ██████ ███████████, ███████ son ██████ ███████████. █████ █████████ ███████████ de la ████████ █████████ ██████ se ████████ par une █████████ ██████████ dans la ████████ █████████ et ███████████.

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

Par un ██████ ██████ d'███████████, les █████████ sont ███████ « ██████ █████████████ ». C'est ████████ l'on ███████ le ███████ de ██████████████ █████████, qui est une ███████ d'███████ un ████████ sur un ████████. █████ que le ████████ est un █████████ de ██████████, la ██████████████ █████████ est un █████████ de █████████ (█.█. un █████████ dans une █████████ de █████████). On peut █████ ███████ de ██████████ █████████████ █████████████. La « ██████████ » est un ████████ plus ███████ qu'il n'en a l'███ au ███████ ██████. ████████ ███ ████, ███████████ de la ███████ des ██████████, a █████ ███████ : « je n'██ pas ███████ les ██████████ pour ███████ les █████████ ; je les ██ █████████ pour ███████ les ███████████████ ██████████ ».

Par ███████, il ██████ un ████████████ entre un ██████ █████████ de █████████ █████ et son ██████ ████, mais cet ████████████ n'est pas « ███████ », dans le ████ où sa ██████████ ████████ d'█████ ██████ une ████, dont elle ██████ ███████████. En ████████, il ██████ un ████████████ ███████ entre un ██████ █████████ de █████████ █████ et son ██████ ██████ (le ████ de son ████), c'est-à-████ en l'██████████ ███████████ de la ████ ███████. Cet ███████ est, ██████████████, le ███████ ███████ dans l'███████ █████████ de ██████ █████████ et ████████ ███ ████ en ████.

█████ ███████ : il ██████ █████████ ████████ de ██████ par ██████ █████████ les ███████ ████████████ à la ███████ des ███████ : █████████, ███████████, █████████… L'█████ des ███████████████ ██████████ ██████ d'████████ ███████ ces █████████ sont eux-█████ ██████ les ███ aux ██████.

█████████

Dans le ███████ de la ███████ des ███████, une █████████ ${\displaystyle \mathcal{C}}$ est la ██████ :

• d'une ██████████ d'██████ ;
• d'une ██████████ de ██████████ (ou ███████) entre les ██████.

██████ ██████ a un █████ ██████ et un █████ ███. Pour un █████████ █ dont la ██████ est A et le ███ est █, on ████ qu'il s'████ d'un █████████ « de A dans █ ». On ████ █ : A → █. La ██████ A s'███████ █████ █████ ███████ et le ███ █ s'███████ █████ ██-███████. On ███████ █████ l'█████████ des ██████████ ████████ :

• ██████ █████ ${\displaystyle A}$ █████ un █████████ ${\displaystyle {\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\mathrm{d}}_A:A\to A}$, ██████ ████████ de ${\displaystyle A}$ ou ██████ █████ ou ██████ ██████;
• pour ████ ██████ de ██████████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}:A\to \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ et ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}:\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\to C}$ (█.█. le ███ de █ est la ██████ de █), il ██████ un █████████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\circ \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}:A\to C}$ ██████ ████████ de ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ et █.

█████, pour ████ une █████████, il ████ ██████████ les ████ ███████ ████████ :

1. pour ████ █████████ ${\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>}{d}_{\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>}{d}_A=\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$.
2. pour ████ ██████████ ${\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 C}$ et ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}:C\to D}$, ${\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>})}$

Le █████ █ ███ que les █████████ sont des ████████ ███████ de la ███████████. Le █████ █ ███ que la ███████████ est ███████████.

On ████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}(\mathcal{C})}$ la ██████ des ██████ de ${\displaystyle \mathcal{C}}$, et ${\displaystyle \mathrm{m}\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}(\mathcal{C})}$ la ██████ des ██████████ de ${\displaystyle \mathcal{C}}$. On ████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\mathrm{m}(A,\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})}$ la ██████ de ████ les ██████████ de A dans █.

██████'une █████████ est ████████, ████████ lui ███████ █████ ███ l'███████████ du ███ de ses ██████ ; nous ████████ ici cette ██████████.

████████ ███████ █████ D. █. █████████ et ████████ ███████████ une █████████ █████ un ██████ ███████ (plus ███████████ un ███████████). Les ███████ du ██████ sont les ██████, et les ███████ sont les ██████████. De ████, il ██████ ███████ que l'on ██████ ████████████ les ██████ d'une █████████ et que l'on ne s'█████████ plus qu'aux ███████, en ███████████ les ██████ à leurs ███████ █████████.

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

Une █████████ ${\displaystyle \mathcal{C}}$ est ██████ si la ██████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}(\mathcal{C})}$ de ████ les ██████ et la ██████ ${\displaystyle \mathrm{m}\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}(\mathcal{C})}$ de ████ les ██████████ de ${\displaystyle \mathcal{C}}$ sont des █████████. En ████, il ██████ que ${\displaystyle \mathrm{m}\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}(\mathcal{C})}$ ████ un ████████. En █████, si ███ est le ███, cela ████████ que ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}(\mathcal{C})}$ est █████████ un ████████ ███ ${\displaystyle \mathrm{m}\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}(\mathcal{C})}$ ████████ les ██████████ █████████, qui █████████████ aux ██████ dans ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}(\mathcal{C})}$.

Une █████████ ${\displaystyle \mathcal{C}}$ est ████ ██████████ ██████ si, pour ████ ██████ A, █ de ${\displaystyle \mathcal{C}}$, la ██████ des ██████████ de A dans █, █.█. ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\mathrm{m}(A,\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})}$ est un ████████. La ███████ des ██████████ ████████ — ██. ████████ ██-███████ — sont █████████ ██████████ ███████.

Une sous-█████████ de ${\displaystyle \mathcal{C}}$ est une █████████ dont les ██████ sont des ██████ de ${\displaystyle \mathcal{C}}$ et dont les ███████ sont des ███████ (mais pas ██████████████ ██████ les ███████) de ${\displaystyle \mathcal{C}}$ entre ████ ██████ de la sous-█████████. ██████'une sous-█████████ ${\displaystyle \mathcal{S}}$ de ${\displaystyle \mathcal{C}}$ est █████ que ██████ les ███████ de ${\displaystyle \mathcal{C}}$ entre ████ ██████ de ${\displaystyle \mathcal{S}}$ sont des ███████ de ${\displaystyle \mathcal{S}}$, cette sous-█████████ est ████ ██████. Par ███████, ██ est une sous-█████████ ██████ de ██. La █████████ de ████ les ███████ █████████ avec les ██████████ n'est pas une sous-█████████ ██████ de ███ mais █████ des ███████ ███████ en est une.

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

█████ █████ une █████████ ${\displaystyle \mathcal{C}}$, on ███████ la █████████ ███████ ou █████, en ███████ les █████ ██████ et les █████ ███████, mais en █████████ les █████████ ██████ et ███ et en ██████████ la ███████████ par son "██████████". On la ████ ${\displaystyle {\mathcal{C}}^{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}}$ (ou ${\displaystyle {\mathcal{C}}^{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}}$). Plus ███████████ : ███_C^██(A, █) = ███_C(█, A), et la ███████████ ███████ de ████ ███████ est le "██████████" de leur ███████████ : █∘^███ = █∘█. Il est █████ que la █████████ █████ de la █████████ █████ est la █████████ de ██████ : ${\displaystyle ({\mathcal{C}}^{\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>}}=\mathcal{C}}$. Cette ███████████ ██████ de ██████████ la ███████ des ███████.

███████ en ████████████

████████ C. ██████ , █. █ dans █████ ████████ ██████ ███ ████████ ██████████, █████████ un ███████ de █████████████ █████████████ où les █████ sont ████ (pour les ████████, c.-à-d. pour les ███████ de ██████), ███ (pour les ███████ ███████), ████ (pour les ███████ █████) et ████ (un ████ avec un ████ ███████). Les ██████████ sont ██████ : ███ → ████ (qui █████ si un ██████ ██████ ████ ████), not : ████ → ████ (████████), ███████ : ███ → ███ (qui ███████ le ██████████ d'un ██████ ██████), ████████ : ████ → ████, (qui ███████ le ██████████ d'un ██████ ████), ██████ : ███ → ████ (qui ███████ la ██████████ d'un ██████ ██████ en un ██████ ████). Les ██████████ de ce ███████ sont ████ : ███, ████ : ████, █████ : ████, ████ : ████. ██████ █████ █████ l'███████ de la █████████ où les ██████ sont ████, ███, ████ et ████, et les ███████ sont ████, █████, ███████, ████████, ████, ██████, not, ██████.

Les ██████████ sont des ███████, ███████ d'entre elles █████████ l'██████ ███████ de ████ à la ██████ qu'elle ██████████.

███████████

Une ██████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}:A\to \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ est ████ un █████████████ ██████'elle ███████ la █████████ ████████ : pour ████ ██████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>},\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ de ███████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\to A}$ (et ████ █████ pour ████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$), si ${\displaystyle \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>}}$, █████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}=\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$.

Une ██████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}:A\to \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ est ████ un ████████████ ██████'elle ███████ la █████████ ████████ : pour ████ ██████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>},\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ de ███████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\to \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ (et ████ █████ pour ████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$), si ${\displaystyle \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>}}$, █████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}=\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$.

Les ███████ de █████████████ et d'████████████ sont ██████ l'une de l'█████ : une ██████ est un █████████████ si et █████████ si elle est un ████████████ dans la █████████ █████.

Une ██████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}:A\to \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ est ████ un ████████████ s'il ██████ une ██████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}:\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\to A}$ █████ que ${\displaystyle \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>}}_A}$ et ${\displaystyle \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>}}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}}$. Cette ██████ est █████████.

████████ et ██████-████████

• Dans la █████████ des █████████, les ██████████████ sont les ██████████, les █████████████ sont les ███████████ et les █████████████ sont les ██████████.
• Un ██████-███████ █████████ en ███████ des ██████████ : un █████████ peut à la ████ ████ un █████████████ et un ████████████, sans ████ pour ██████ un ████████████ ; pour ████ ce ██████-███████, il ██████ de se ██████ dans la █████████ des ███████ ███████████ █████████, et ██████████ la ██████ (██████) ${\displaystyle \mathbb{<span\; word-length="1"\; class="word\; redacted">█</span>}\to \mathbb{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ : elle est un █████████████ ███ ████████ d'une ███████████ █████████, un ████████████ par ████████████, mais n'est ██████████ pas un ████████████.
• On ██████ █████ de ████ ████████████-█████████████ ███ █████████████ dans la █████████ des ███████ ████████████ : █████ █████████ y est un █████████████, █████ ██████████ est un ████████████, les █████████████ sont les ███████████████, mais il y a des █████████ █████████ à la ████ ██████████ et ███████████ qui ne sont pas des ███████████████ : par ███████ l'████████ sur un ████████ ████ de ████ ██████████ ███████████, l'une plus █████████ que l'█████.
• Les █████████████ dans la █████████ des █████████ ████████ sont les ██████████ ███████████ dont la █████████ ██████████ est ██████████ (cette █████████ sur la █████████ ██████████ est ███████████████ ████████ dans le ███ des █████████ ██████████ ████████, mais pas dans le ███ ███████).