pi-system

family of sets closed under intersection