Äärellisten leikkausten ominaisuus

Olkoon X jokin joukko ja F sen potenssijoukon P(x) osajoukko. Sanotaan, että F:llä on äärellisten leikkausten ominaisuus, jos  ei ole tyhjä joukko kaikilla äärellisillä A, joilla A on F:n epätyhjä osajoukko. Äärellisten leikkausten ominaisuus on hyödyllinen topologiassa.
Lähteet

Luokka:Topologia