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

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

████ ${\displaystyle \mathcal{C}}$ une █████████. Un ████████ de ████ ██████ ███████ que les ████████████ █████████ sont ████████████ :

• il ██████ une ██████ █████████ ${\displaystyle \mathcal{D}}$ et une █████████ ${\displaystyle \mathcal{C}}$ ↪ █████(${\displaystyle \mathcal{D}}$) qui ███████ un ███████ à ██████ ██████████ la ██████ █████ ;
• ${\displaystyle \mathcal{C}}$ est la █████████ des █████████ sur un ████ de ████████████ ;
• ${\displaystyle \mathcal{C}}$ █████████ les ███████ de ██████ ████████ ██-███████.

Une █████████ █████████ ces ██████████ est ███████ « █████ de ████████████ ». █████(${\displaystyle \mathcal{D}}$) ██████ ici la █████████ des █████████ ██████████████ de ${\displaystyle \mathcal{D}}$ vers la █████████ des █████████ ; un ███ ████████ █████████████ est ███████ ██████ ███████████ (████████ en ███████).

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

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

On ███████ ██████████████████ █████ █████████ ███████████ des █████████████ la ███████ des █████████, où ████ les ██████ █████████████ sont ███████████ en ████████ ████████ par des █████████, y ███████ les ████████████ entre █████████. En ███████ des ██████████, on peut ███████████ ce █████████ au █████ des █████.

██████ █████ ███████ █████████████ son ██████ █████ de ███████ ████████████. La █████████ des █████████ █████████ un █████ ████████, et ██████████ avec ce █████ ████████ à ████████ la ███████ des █████████ ██████████████. Mais on ████████ ███████ de ██████████ avec ████ d'██████ █████. Une ███████████ ████████ de l'██████ du █████ ████ dans ████████ █████, mais est ████████ dans d'██████. Des ██████████████ ████████████████ ██████████ de ██████████ dans un █████ █████ de ███ du █████ █████. Si la ████████ dans un ██████ █ █████ ███████ ██████████, on peut ████████ le █████ ██████████ en ████ les █-█████████ (████ l'███████ « ██████ de ██████ »).

Il est █████████ ████████ de █████ █████ un █████ une ███████ ██████████ █████ que la ███████ des ███████. Les ███████ ███████████ de la ███████, ici les ███████, █████████████ █████ aux █████████ du █████ dans la █████████ des █████████ qui ██████████ la █████████ de █████.

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

███████ dans le █████ des ██████████, on ████████ un █████ de ███████ ███████████ ; la ███████ des █████████ est █████ ██████████ █████ un ███ ███████████ de ███████ des █████. Il ██████ █████████ ███████████ ████████████ d'un █████ ███████ sur la ███████ des ██████████. À ██████ d'████ ██████████, la ████████ a le ██████ de la █████████ :

Un █████ est une █████████ █████████ les ████ ██████████ █████████ :

• █████ ██████ ██████ sur des ██████████ à █████ ████ ██████ ;
• ████ █████ a un █████ █████████ (c'est ce qui ████ le ████ de l'████████ des ███████ d'un ████████ dans la █████████ des █████████).

████████████, un █████ █████████ d'un █████ █ est un ██████ ${\displaystyle (\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>},{\ni }_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}})}$ avec ${\displaystyle {\ni }_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}\subseteq \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\times \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$, ███ que pour █████ ████████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\subset \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\times \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$, il ██████ 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>}\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ ███ que ${\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>})\mid \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>})\}}$ (plus ████████████ : ███ que █ ████ le ████-████ de ${\displaystyle {\ni }_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}}$ par ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\times \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}:\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\times \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>}\times \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$).

On peut en ███████ que :

• les █████████ ██████ ████████ ;
• la █████████ a un ██████████████ de sous-██████ ;
• la █████████ est ███████████ ██████.

Dans de ██████████ ████████████, le ████ du ██████████████ de sous-█████ ████ un ████ █████, █████████████ aux ██████ █████████. █████ █████████ ███████████ █████████-elles les █████ de ce qui est ██████ et de ce qui en est ██████.