Let be a set of subsets of . Say that is a -system if: for all with and all increasing sequences in :