Definition:Indexed Family of Subsets