Delta-system (source code)

= Delta-system
{title2=$A\cap B=r$}

A family of sets is a Delta-system with root $r$ when any two distinct members intersect exactly in $r$. The members themselves need not be finite, although the usual <Delta-system lemma> applies to uncountable families of finite sets.