Description: The union of the finite intersections of a set is simply the union of the set itself. (Contributed by Jeff Hankins, 5-Sep-2009) (Revised by Mario Carneiro, 24-Nov-2013)