finite intersection property

noun Mathematics.

1. the property of a collection of nonempty sets in which the intersections of all possible finite numbers of the sets each contain at least one element.