noun Mathematics. 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.