在点集拓扑学中，有限交集性质是集合 X 的子集的集合（子集族，即幂集 的子集）的性质。一个集合有这个性质如果这个集合的任何有限子集上的交集为非空。

设 是集合，带有 是 的子集族。则集合 有有限交集性质（fip），如果任何有限子集合 都有非空交集 。

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.