Category:Union of Finite Sets is Finite