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.