Category:Finite Union of Finite Sets is Finite