Source: wikibot/finite-intersection-property
= Finite intersection property
{wiki=Finite_intersection_property}
The Finite Intersection Property (FIP) is a concept from topology and set theory. It applies to a collection of sets and states that a family of sets has the finite intersection property if the intersection of every finite subcollection of these sets is non-empty. Formally, let \\( \\mathcal\{A\} \\) be a collection of sets.