Let be a set of subsets of .
Say that is a -system if:

  • for all with and all increasing sequences in :