A -system is a Family of Sets satisfying the following property

Examples

The all below are the pi-system on