 Finite union

A finite union is a union of finitely many sets. The indexing set is finite; its member sets need not be finite sets. The union of an empty indexed family is the empty set.