Union of Subsets is Subset