Category:Set Union Preserves Subsets