Category:Union of Bijections with Disjoint Domains and Codomains is Bijection