A topological space (or metric space) has the finite intersection property when every family of closed subsets, for which all finite subcollections have non‐empty intersections, must have a non‐empty intersection as an entire family. This property is equivalent to compactness.