from much the same etymology as the sunflower. Families with empty kernel are called free; those with nonempty kernel, fixed.

Examples and non-examples

The empty set cannot belong to any family with the finite intersection property.

If has a non-empty kernel, then it has the finite intersection property trivially. The converse is false in general (although it holds trivially when