Finite intersection property
= Finite intersection property
{wiki}
A family of sets has the finite intersection property when every finite subfamily has nonempty intersection. A <topological space> is compact exactly when every family of closed subsets with the finite intersection property has nonempty total intersection.