If is any collection of sets, we call it a -system if there is a set called the root such that for any :