Let be a set of subsets of . Say that is a -system if and, for all