En matemáticas, una familia de conjuntos F tiene la propiedad de la intersección finita si la intersección de toda subfamilia de F finita y no vacía tiene intersección no nula.
La definición formal de esta propiedad es: Sea una familia de conjuntos F = {Ai}i ∈ I.
Se dice que F tiene la propiedad de la intersección finita si para cada subfamilia finita y no vacía de F, la intersección de sus elementos es no vacía:
{\displaystyle {\text{Para cada }}\varnothing \neq J\subset I{\text{ finito, }}\bigcap _{i\in J}A_{i}\neq \varnothing }
La propiedad de la intersección finita se utiliza para caracterizar a los espacios compactos de manera alternativa: un espacio es compacto si toda familia de cerrados con la propiedad de la intersección finita tiene intersección no vacía.