Category:Union of Nest of Mappings is Mapping