t-intersecting family (source code)

= t-intersecting family
{title2=$|A\cap B|\geq t$}

= t-intersecting
{synonym}

A <set family> is t-intersecting if every pair of its members has at least $t$ common elements. For $r$-sets on an $n$-point ground set, the whole level is t-intersecting when $n\leq2r-t$. Ordinary <intersecting families> are the case $t=1$.