Pi-system (source code)

= Pi-system
{wiki}

A pi-system is a nonempty family of subsets closed under finite intersections.