Delta-system lemma (source code)

= Delta-system lemma
{wiki}

Every uncountable family of finite sets has an uncountable subfamily whose distinct members have the same pairwise intersection, called the root. It is also known as the sunflower lemma.