is finite). For example, the family of all cofinite subsets of a fixed infinite set -- the Fréchet filter -- has the finite intersection property, although its kernel is empty. More generally, any proper filter has the finite intersection property.

The finite intersection property is strictly stronger than requiring pairwise intersection to be non-empty, e.g., the family has non-empty pairwise intersections,