Finite union (${\bigcup }_{j=1}^m{A}_j$)

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.