"X" 的子集的集合（子集族，即幂集formula_1 的子集）的性质。一个集合有这个性质如果这个集合的任何有限子集上的交集为非空。
定义.设 formula_2 是集合，带有 formula_3 是 formula_2 的子集族。则集合 formula_5 有有限交集性质（fip），如果任何有限子集合 formula_6 都有非空交集 formula_7。
讨论.这个条件被平凡的满足，如果在整个搜集上的交集非空（特别是如果这个搜集自身是空的）；它还被平