Finite union
= Finite union
{title2=$\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>.