Definition:Combinable Mappings