换，但二元（或者更多元）运算不一定如此。与自身可交换的二元（或更多元）运算称为medial或entropic。
推广.复合可以推广到任意二元关系。若 与 是两个二元关系，则它们的复合 是定义为 . 考虑二元关系的一个特殊情形（函数关系），复合函数满足关系复合的定义。偏函数的复合可是用相同方式定义的定义，有一个类似凯莱定理（Cayley's theorem）的定理叫做Wagner-Preston定理。具有态射函数的集合范畴叫做原型范畴（prototypical categor