Definition:Disjoint Family of Sets