Category:Union of Indexed Family of Sets Equal to Union of Disjoint Sets