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

Een ████████████ ██████ is een ███████████ met een ████████ █████████ dat er ████████ ████████████ (████████) op ██████ worden ████████████. De ███ van de ████████ die zich ██████████ met ████████████ ███████ en ████████ ████████████ ██████████, is de █████████.

Een ████████████ ██████ is een ███████████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ █████ met een █████████ ${\displaystyle \mathcal{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ van █████████████████ van ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$, ████ █████████████ ███████, die aan de ████████ ██████'█ ███████:

1. ${\displaystyle \varnothing }$ (de ████ ███████████) en ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ zijn ████.
2. De ██████████ van ███████████ veel ████ █████████████ is ████.
3. De █████████ van ████ ████ █████████████ is ████.

Een ██████████ █████████ ████ █████████████ wordt een █████████ op ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ ███████. Het ██████ ${\displaystyle (\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>},\mathcal{<span\; word-length="1"\; class="word\; redacted">█</span>})}$ wordt dan een ████████████ ██████ ███████. Een ████████ ███████████ is een ███████████ ███████ het ██████████ ████ is.

███ ████████ ███████ (█████████) voor het ████████████ over dit █████████.

Als ${\displaystyle (\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>},\mathcal{<span\; word-length="1"\; class="word\; redacted">█</span>})}$ en ${\displaystyle (\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>},\mathcal{U})}$ ████████████ ███████ zijn, dan ████ een ██████████ ${\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>}}$ ███████ als het (████████) █████████ van ██████ ████ ███████████ van ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ ███████ een ████ ███████████ van ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ is:

${\displaystyle \mathrm{\forall }U\in \mathcal{U}:{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}^{-\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}(U)\in \mathcal{<span\; word-length="1"\; class="word\; redacted">█</span>}}$

De █████████ ███ heeft als ████████ de ████████████ ███████ en als █████████ de ████████ ████████████.

Als ████████████ in deze █████████ █████ het ███████ van een █████████████, dat wil ██████ een ██████████ ██████████ ██████████ (████████) die in █████ ██████████ ███████ is. ████ ████████████ ███████ █████ █████████ als ██████ ██████ een █████████████ ███████. ██████████ ███████ ██████ ███████████ niet van ██████ worden █████████████.

███████████ van ████████████ ███████ zijn:

• Een █████████ ██████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ met de door de ███████ ████████████ █████████. De ████ █████████████ zijn de █████████████████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ van ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ ███████ ███ ████ een ████████ ████ is. Voor ████████████ ████████████ ███████ █████ █████████ dat een ███████████ ████ is dan en ███████ dan als ███ ████ █████ een ████████ ████ van die ███████████ is).
• Ook een ███████████████ ██████ heeft een █████████ die door de █████████████ wordt ███████████, op ████████ ██████ als bij een ███████.
• Voor een ████████████ ███████████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ is de ████████ █████████ de █████████ die als ████ █████████████ ██████ de ████ ███████████ ${\displaystyle \varnothing }$ en ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ ████ heeft.
• Voor een ████████████ ███████████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ is de ████████ █████████ de █████████ ${\displaystyle {\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}^{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}}$, dus ██████ ████ ███████████████ van ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ ████ is.
• Een ███████████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ met als ████ █████████████ de ████ ███████████ en ████ █████████████ ███████ het ██████████ ██████ is. Dit ████ de █████████ █████████. Is ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ ████ een ███████ ███████████, dan is de █████████ █████████ ████████ als de ████████ █████████.
• Zij ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ een ████████████ ████ en ${\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>}\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})}$ het ████████ van ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ (dit is de ███████████ ████████████ van ${\displaystyle \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>}\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>})}$ is dan een ████████████ ██████ met als ████████ █████████████ de █████████████ van de ████ ${\displaystyle \{\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>}\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>}\supset \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\}}$, ██████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ een ██████ van ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ is. Deze ████████████ ██████ is ███████, en de ███████ █████████████ █████████ ████ de ███████-█████████.

De ████████████ █████████ van ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ kan ook worden ██████████ door een van de ████████ █████████ te ████████████: