The union of a class of sets is the class containing every element that appears at least in one of them.