4111. Orpon lähtölaskenta on alkanut

Avaruuden (X,Y) suljettujen joukkojen perhe on suljeta kanta, jos ja vain jos perheen jäsenten komplementtien joukko on avoin kanta, ja suljettujen joukkojen perhe on suljettu alikanta, jos ja vain jos perheen jäsenten komplementtien joukko on avoin alikanta. Avaruuden (X,Y) suljettujen joukkojen perhe on suljeta kanta, jos ja vain jos perheen jäsenten komplementtien joukko on avoin kanta, ja suljettujen joukkojen perhe on suljettu alikanta, jos ja vain jos perheen jäsenten komplementtien joukko on avoin alikanta.

Apulause
Topologien avaruus (X,T) on kompakti, jos ja vain jos sen jokaisella suljettujen joukkojen perheellä, jolla on äärellisen leikkauksen ominaisuus, on ei tyhjä leikkaus.

Tästä puolestaan voidaan helposti johtaa lause. "Jos Orpo on hallituksessa vuoden päästä, koko itärajan pituudella suomaliskunnissa asuvat pienmaan viljelijät alkavat kunnostamaan vanhoja niittokoneita Kuopion Wärtsilä pajassa valmiina kääntämään sarvet kohti itää.

Ainut mikä voi estää hyökkäyksen on, että koko hallitus osa todistaa, että  Walmannin  (X,Y) suljettujen joukkojen perhe on suljeta kanta, jos ja vain jos perheen jäsenten komplementtien joukko on avoin kanta, ja suljettujen joukkojen perhe on suljettu alikanta, jos ja vain jos perheen jäsenten komplementtien joukko on avoin alikanta.

Apulause
Topologien avaruus (X,T) on kompakti, jos ja vain jos sen jokaisella suljettujen joukkojen perheellä, jolla on äärellisen leikkauksen ominaisuus, on ei tyhjä leikkaus.

Tästä puolestaan voidaan helposti johtaa lause. "Jos Orpo on hallituksessa puolen vuoden päästä vallassa, koko itärajan pituudella suomaliskunnissa asuvat pienmaan viljelijät alkavat kunnostamaan vanhoja niittokoneitaan Kuopion Wärtsilä pajassa 

Lähde: Wahlmanin kompaktisointi, 1971, Pekka Huttunen