In [[logic]] and [[mathematics]], '''relation composition''', or the composition of [[relation (mathematics)|relations]], is the generalization of [[function composition]], or the composition of [[function (mathematics)|functions]]. | In [[logic]] and [[mathematics]], '''relation composition''', or the composition of [[relation (mathematics)|relations]], is the generalization of [[function composition]], or the composition of [[function (mathematics)|functions]]. |