Set Union Preserves Subsets/General Result