Category:Union of Nest of Injections is Injection