Äärellisten leikkausten ominaisuus

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