Finite intersection property

In general topology, a branch of mathematics, a collection A of subsets of a set X is said to have the finite intersection property (FIP) if the intersection over any finite subcollection of A is nonempty. It has the strong finite intersection property (SFIP) if the intersection over any finite subcollection of A is infinite.