Definition:Union of Mappings