Intersecting family (source code)

= Intersecting family

A family of sets is intersecting when every two of its members have nonempty intersection.

This is a property of a <set family>, distinct from extremal theorems bounding its size.