Definition:Combinable Relations