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

La █████████ ████████ est une ███████ des █████████████ qui ███████ un ███████████ et un █████ ███████ pour ███████ des ███████ de ██████, de ██████████, et de █████████.

Les ███████ ████████████ ███████ le █████ ██████████ ██████████ de ███████ ces ███████. Elles sont ████████████ █████████ pour s'█████████ à un █████ ██████ de ██████████ ███████████ : █████████ █████, █████████ ████████, ███████ de la █████████ ███████████, ███████ ██████████ à n ██████████, ███████ ████████████ plus █████████, mais █████ en █████████ ██████████. Ces ████████ ████████████ dans ███████ ██████ les ████████ des █████████████ ; ils sont ████ ████████ dans la ██████ ███████ des █████████████.

La █████████ ████████ ne █████ pas d'████████ la ████████ ████ ████████ de la « ███████████ du ███████ » : elle ████ d'une ████████ ███████████, en █████████ le ███████████ de la ███████ des █████████ ; █████████ ███, elle ████ une ████████ ██████ sur la ██████ de █████████ (en l'██████████, ici, une █████████ ███████████), en ███████ █████ d'une ███████████ ███████████. Les ███████ sont ████████, et en ce ████, c'est la █████████ la plus ████████ pour ███████ les ████████ █████.

La █████████ ████████ ███████ le ███████████ ███████████, mais ██████ █████ la █████████████ de █████████ ███ ████████ et █████████, ████ que le ████████ de █████. Elle ███████ ████ █████████████ ██████████, ██████████ une ███████ plus ███████████ ██████ de la ██████ ████████ de « █████ » : la █████████ ██████████████, ████████████ les ██████ de l'███████ █████████ (███████, ██████ de ████████, ███.) et la █████████ ██████████, ████████████ des ██████████ ███████████ ████ que les ███████ d'█████████.

Cet ███████ est █████████ ; une ██████ ████████ et ██████████ est ████████ dans l'███████ « █████████ ».

███████████

████ ███████████ ████████████ sont ███████ ███████ : la ██████████ par les ███████, et la ██████████ par les ██████████ d'un █████. La ████████ est plus ████████, la ███████ ███████ plus █████████. Le ███████ d'une ██████████ à l'█████ est ██████.

██████████ par les ███████

Un ██████ ███████████ est un ██████ (█, T), où █ est un ████████ et T une █████████ sur █, à ██████ un ████████ de ███████ de █ — que l'on ███████ les ███████ de (█, T) — █████████ les ██████████ █████████ :

l'████████ ████ et █ █████████████ à T ;
█████ ███████ ██████████ d'███████ est un ██████, c'est-à-████ que si (█_█)_█∈█ est une ███████ d'████████ de T, ███████ par un ████████ █ ██████████ (pas ██████████████ ████, ni ████ ███████████) █████ $\bigcup _{i\in I}O_{i}\in T$ ;
█████ ████████████ █████ d'███████ est un ██████, c'est-à-████ que si █_█, … , █_n sont des ████████ de T █████ $O_{1}\cap \ldots \cap O_{n}\in T.$

Un █████ d'une █████████ est ██████ █████ le ██████████████ d'un ██████.

L'█████████ █ d'une ██████ █ de █ est le plus █████ █████ qui ████████ █.

Pour un █████ a de █, on ███████ █████ █████████ de a pour cette █████████ n'███████ quelle ██████ de █ qui ██████ un ██████ qui ████████ a.

██████████ par les ██████

Il ███████ de la ███████ ███████████ des █████████ qu'une █████████ sur █ peut █████ ████ ███████ par l'████████ de ses ██████, cet ████████ de ███████ de █ ██████ ████████ :

les █████████ █ et ████ sont des ██████ ;
█████ ████████████ ██████████ de ██████ est un █████ ;
█████ ███████ █████ de ██████ est un █████.

██████████ par les ██████████

Dans un ██████ ███████████, les ██████████ █████████ les ██████████ :

X\subset {\overline {X}},\quad {\overline {\overline {X}}}={\overline {X}},\quad {\overline {X\cup Y}}={\overline {X}}\cup {\overline {Y}}\quad {\rm {et}}\quad {\overline {\varnothing }}=\varnothing

███████████, █████ █████ un ████████ █, █████ ███████████ de l'████████ █(█) des ███████ de █ dans lui-████ qui ███████ ces ██████ ██████████ (████████ ███████ de █████████ de ██████████) ██████ de ███████ sur █ une █████████ dont est l'███████████ █████████, en █████████ que les ██████ de cette █████████ sont les █ ████ que $X={\overline {X}}$ .

En █████, les ███████ █ et █ de la ██████████ par les ██████ ██-██████ sont █████ ████████████ ██████████, et l'██████ █ l'est █████ ███ l'███████████ est un █████████ de ██████████ ████ █████████, ce qui ██████ de ███████ que l'████████████ █ de █████ ███████ de ██████ █_█ est ██████ : pour ████ █, de █ ⊂ █_█ on ██████ █ ⊂ █_█ = █_█, d'où l'█████████ de █ dans █ et ████ l'███████. █████, on a ██████ une █████████, dont est ████ l'███████████ █████████ (d'█████ la ██████████ et le ████████ ██████ de ██████████).

Par ████████, les ███████ de █████████ de ██████████ sont ███████████ à :

{\overline {\varnothing }}=\varnothing ,\quad X\subset {\overline {X}},\quad {\overline {X\cup Y}}\subset {\overline {X}}\cup {\overline {Y}}\quad {\rm {et}}\quad X\subset {\overline {Y}}\Rightarrow {\overline {X}}\subset {\overline {Y}}

███████ une █████████ par une ███████████ █████████ ███████ à se ██████ une ████████ « ██████ à » entre les ██████ de █ et ses ███████, █████ que, pour ████ a de █ et ██████ ███████ █, Y de █,

█████ ███████ de █ n'██████ à l'████████ ████,
████ ███████ de █ ██████ à █,
si a ██████ à █ ∪ Y █████ a ██████ à █ ou à Y,
si a ██████ à █ et si ████ ███████ de █ ██████ à Y, █████ a ██████ à Y.

██████████ par les ██████████

Un ██████ ███████████ est un ██████ $(E,{\mathcal {V}})$ , où █ est un ████████ et ${\mathcal {V}}$ une ███████████ de █ vers l'████████ █(█(█)) █████████ aux ████ ██████████ ██-█████, dans ██████████ les ████████ de ${\mathcal {V}}(a)$ , pour a ∈ █, sont ███████ « ██████████ de a », la █████████████ de cette ███████████ ██████ █████ █████ cette █████.

Pour ████ █████ a de █ :

████ sur-████████ d'un █████████ de a est lui-████ █████████ de a ;
l'████████████ de ████ ██████████ de a est elle-████ un █████████ de a ;
█ est un █████████ de a ;
████ █████████ de a ████████ a ;
pour ████ █████████ █ de a, il ██████ un █████████ █ de a ███ que █ ████ █████████ de ██████ des ██████ de █.

Il ██████ █████ une et une █████ █████████ sur █ (au ████ de la ██████████ ██-██████ par les ███████) █████ que pour ████ █████ a de █, ${\mathcal {V}}(a)$ ████ ████ à l'████████ des ██████████ de a pour cette █████████, c'est-à-████ à l'████████ des ███████ de █ ████████ un ██████ qui ████████ a.

Les ███████ de cette █████████ sont les ███████ █ de █ ██████ que pour ████ █████ a de █, █ ███████████ à ${\mathcal {V}}(a).$

La ███████ des ███████ de █████████, █████ la ██████████ ou la ██████, ███████ se ███████ de ███████ ███████████ et █████ ████████ par les ███████, par les ██████ ou par les ██████████.

████████

Le ███████ ███████ ██████████ d'██████ ███████████ est l'████████ █ des ███████ █████ ████ de sa █████████ ███████. Cet ███████ est █████ qui est à la ████ de la ███████ des ███████ ████████████.
La █████████ ███████ sur une ██████ █ d'un ██████ ███████████ █ est la █████████ sur █ dont les ███████ sont les █████████████ des ███████ de █ avec █. Cette ██████████ ██████ par ███████ de ███████ la █████████ ███████ par █████ de █ sur un ██████████, et █████ de ███████ ███████ les ██████████ de ██████████ et de ██████ à des █████████ ████████ sur un ██████████ de █. L'████████ de ██████, ██████ de ████████ ████████ et ██████-████████, est un sous-████████ ███████████ de █, ████ de la █████████ ███████.
Il ██████ une █████████ ████████ à ████ ██████ ████████ : ses ███████ sont les ████████ de ██████ ████████.
- █████, la █████████ sur █ est █████████████ █████ de la ████████ █████ de la ██████ ███████. Un ██████ est █████ une █████ d'███████████ ███████.
- Plus ████████████, les ███████ ██████████ ██████ sont des ███████ █████████ ████ ████████████.
████ ████████ ██████████ ███████ peut ████ ████ de ██████████ █████ à l'█████. La plus ███████ s'███████ la █████████ de l'█████. Sur █, elle ████████ avec la █████████ ███████.
D'██████ ████████ de ██████████ plus █████████████ sont ██████ dans le § « ████████ » de l'███████ sur les ██████████.
La ██████ d'un ██████ ███████████ ████ ████████ à █████ d'un ████████ ████ █ et d'un sous-████████ de █(█) █████████ ∅ et █.
La █████████ ████████ sur un ████████ █ est █████ pour ████████ T = █(█), l'████████ des ███████ de █. █████████ ███ : ██████ les ███████ sont ████████, ou ██████ : ████ les ██████ sont ██████. C'est la █████████ la plus ████ sur █.
La █████████ █████████ sur █ est la █████ ████. C'est █████ dont les █████ ███████ sont la ██████ ████ et █ lui-████.
Sur l'████████ ████ et sur les ██████████, il n'y a qu'une █████████ (à la ████ ████████ et █████████).
La █████████ ███████ sur █ est █████ dont les ███████ sont la ██████ ████ et les ███████████████ d'█████████ █████. De ████, la █████████ █████████████ sur █ a pour ███████ la ██████ ████ et les ███████████████ d'█████████ au plus ████████████.
La █████████ ███████ est une █████████ ███████ sur un ███████ █████████ d'███████ ████████████. ███████ ████ ces ███████ sont ██████████, on ███████ la █████████ de la ███████████ ██████. La █████████ d'un ██████ █████████ ████ de █████████ █████, ██ █████ ███████ ████, ████████ avec █████ █████ d'une █████. Un ███████ de ███████ ██████ est le ████ de ███████ [█, █]^█, ██████████████ du ████ en █████████ ███████.
En █████████ ██████████, on ███████ la █████████ de ███████ sur ██████ ███████. Par ███████ :
- Si █ est un █████, la █████████ de ███████ sur l'██████ ██████ █ⁿ est █████ dont les ██████ sont ████ les █████████ ███████████ ███████ de █ⁿ. Pour n = █, ces ██████ sont ██████████ █ et ses ███████ ██████, ████ la █████████ de ███████ sur la ██████ ██████ est la █████████ ███████.
- Si A est un ██████ ██████████ ████████, son ███████ ███████, █████████ de ses ██████ ████████, est lui █████ ████ d'une █████████ de ███████, qui n'est ███████ ██████ ███████.
- Dans la ███████ des ███████, on ██████ une ██████████ plus █████████ : les ███████ d'une █████████ de ████████████ (par ███████ la █████████ █████) sont ███████ █████ des ██████████ de █████████ ██████████.
█████████ ██████████ ███████████ sont ██████ d'une █████████ « ██████████ » : ███████ ██████████ ████████████ (███████ ██████████ ████████, █████ les ███████ de ███████), ███████ ████████████, ███████ ████████████, ███.

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

█████████ █████████ par une ███████ de ███████

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

███████████

Un des ████████ ████████ de la ██████ d'██████ ███████████ est de ███████ ███████ la ██████████ des ████████████. Il ██████ ████ █████████, l'████████ ██████ qui ███████ la ██████████ en un █████, et l'████████ ███████ qui ███████ la ██████████ en ████ █████. ████ █ : █ → █ une ███████████ entre ████ ███████ ████████████.

██████████ ██████. ████ a un ███████ de █. L'███████████ █ est ████ ████████ au █████ a si l'█████ ██████████ de ████ █████████ de █(a) est un █████████ de a.
██████████ ███████. L'███████████ █ est ████ ████████ si l'█████ ██████████ █^−█(█) de ████ ██████ █ de █ est un ██████ de █.(Il ██████ des ███████████ ████████████, en ██████ de ██████ ou d'██████████.)
███████████ de la ██████████ en ████ █████ et de la ██████████ ███████ : l'███████████ █ est ████████ si et █████████ si elle est ████████ en ████ █████ de █.

Les ████████████ █████████ sont les ██████████ de la █████████ des ███████ ████████████. Les █████████████ de cette █████████ sont ███████ les ███████████████. Ce sont les ██████████ █████████ dont la ██████████ est ████████.

█████████ █████████ par une ███████ de █████████

██████ █ un ████████ et Y un ██████ ███████████. La ██████ ██████████████ d'une ███████████ ██████ de ███████ une █████████ sur █ :

pour █████ ███████████ █ de █ dans Y, on peut ███████ la █████████ ████████ ████ à █. C'est la █████████ sur █ la plus █████████ ███████ █ ████████.
de ████, pour █████ ███████████ █ de Y dans █, on ███████ la █████████ ██████ ████ à █. C'est la █████████ sur █ la plus ████ ███████ █ ████████. Un ███████ est la █████████ ████████, ███████ █ est le ████████ de Y par une ████████ d'███████████ et █ la ██████████ █████████.

On peut ███████████ ces ████ ███████████ en ██████████ l'██████ Y par une ███████ d'███████ (Y_█)_█∈█, et l'███████████ █ par une ███████ d'████████████ (█_█)_█∈█.

███████

█████████████, la ██████ de ██████ d'une ████████ en un █████ ██████ de ████ quelle(s) ██████(s) la ████████ « ███████ █████ ███████████████ » en ce █████.

██████ █ et █ ████ ███████ ████████████, A une ██████ de █, █ une ███████████ de A dans █, a un █████ de █ ████████ à A et █ un █████ de █. On ███ que █ est une ██████ de █ au █████ a si pour ████ █████████ █ de █, il ██████ un █████████ █ de a ███ que pour ████ █████ █ de █∩A, l'█████ █(█) ██████████ à █.

█████████

Si █ est ██████ █████ █ ███████ au plus une ██████ au █████ a.
Si le █████ a est ███████ de la ██████ A, █████ █ est ████████ en a si et █████████ si █(a) est une ██████ de █ au █████ a.

Des ███████████████ de cette ██████, ██████████ par ███████ de ██████ de ███████ « à l'██████ » ou de ████ qu'une █████████ est une ██████ de ██████ de ███████ ont ███ ████████ ; les plus ██████████ █████████ la ██████ de ██████.

██████████

On ███ qu'un ██████ ███████████ est ██████ ou de █████████ ou T_█ ███████ ████ ██████ █████████ ███████████ █████████ des ██████████ █████████. C'est le plus ███████ des ███████ de ██████████.
On ███ qu'un ██████ ███████ la █████████ de █████-████████ ██████'on peut ████████ un sous-████████████ ████ de ████ ████████████ ██████. On █████ █████ d'██████ █████-███████.
Un ██████ █████-███████ et ██████ est ███ ███████.
Il ██████ ████████ d'██████ ██████████ ████████████ (█████████████, █████████, █████████ par ████, █████████ ██████, █████████ de █████, █████████████, ██████ █████████…) et ███████ d'entre elles a une ███████ ██████.
D'██████ ██████████ (████████████, ██████████…) sont █████ à une █████████ ████████, plus █████ qu'une ██████ █████████, ou ████ (██████ █████…) à une ████████.

█████ et ██████████

██████████

████ █████

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