██████████-█████████

Het ██████████-█████████, ook ██████ als ████████'█ █████████, is een █████-█████████ ██████████ door ██████ ████████ in ████. ███████ een ███████ █████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ ██████ de ███████ ██████ █████ ███████ █████████ ██████ van ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ ███ ██████ █ ████████, ██████ het █████████ voor een ████████ ██████████ ${\displaystyle {\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>}}$ de ███████ ███████ uit tot ████ ██████ van ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$. ████████████ van dit █████████ zijn onder meer bij ████████████████, █████-█████████████████ en ████████████████.

Het █████████ is █████████ op de █████████ dat de '███████', de ██████ van het ███████ ███, ██████ █████ ███████ ██████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ en ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ van een ███████ █████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ als █████ ████████ kan worden:

Zij ${\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>}}$ en ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$, voor ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ een ████ van ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$.

Zij ${\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>}\in \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\mid \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\to \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\}}$, de ███████████ van ██████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ die ██████ █████████ zijn met ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$, ███ een ███ van ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ naar ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$.

Zij ${\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 de ███ ██████ ████ ██████ met ██████ █████████ ██████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ en ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$.

De ███████ van ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ naar ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ is ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})=<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>}\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>}\in {\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}\}}$, het ███████ van de ███ van de ███████ van ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ naar een ████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\in \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ ████ de ███████ ███████ van dat ████ naar ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$. ███████ als de ███ van ████ ███████ █████████ in een ███ ████████ is, dan is de ██████ ██████ van dat ███, die ███ dus, ████████.

██████ ██████████ we ${\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>}\in \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\mid \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\to \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\}}$, de ███████████ van ██████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ die ██████ █████████ zijn met ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$, ███ een ███ van ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ naar ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$.

Het █████████ ████ ██████ door op de █████ van █████████. Het █████████ ████████ de ██████ van ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ in ████ █████████████:

${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$: de ███████████ van ██████ ███████ de ███████ ███████ tot ${\displaystyle {\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}}$ ████████ is

${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$: de ███████████ van ██████ ████████ er al wel een ███ ██████ is ██████ ${\displaystyle {\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}}$, maar niet het ███████, of dit is nog niet ███████████.

${\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>}}$: deze ███████████ wordt in het █████████ niet ███████████

████████ █████ █████████ dat ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\cap \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}=\mathrm{\varnothing }}$, ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ en ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ ██████ geen ██████ ██████.

█████████ ███████ er een █████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})}$, ███████████ met de ██████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ van ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$. Voor ███ ████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\in \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ wordt dit █████ door het █████████ ████████ ██████ dat aan het ████ █████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})=}$ de ██████ van het ███████ ███ van ${\displaystyle {\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}}$ naar ${\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>}}\}}$
• ${\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>}}}}$
• ${\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>}}$
• ${\displaystyle \mathrm{\forall }\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>}\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>})}$
• ${\displaystyle \mathrm{\forall }\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>}(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})=\mathrm{\infty }}$

Het █████████ ████████ nu de ████████ ███████ ██████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ de ████ ███████████ wordt (op dat ██████ zijn er geen ██████████ ██████ meer over), ██████ ${\displaystyle {\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}}$: