二元关系的个数=N+N（N-1）/2，数学上，二元关系用于讨论两个数学对象的联系。诸如算术中的大于及等于，几何学中的相似，或集合论中的为...之元素或为...之子集。二元关系有时会简称关系，但一般而言关系不必是二元的。

集合X与集合Y上的二元关系是R=(X，Y，G(R))，其中G(R)，称为R的图，是笛卡儿积X*Y的子集。若(x,y)∈G(R)，则称x是R-关系于y，并记作xRy或R(x，y)。否则称x与y无关系R。但经常地把关系与其图等同起来，即：若R⊆X*Y，则R是一个关系。