二元关系的个数=N+N(N-1)/2,数学上,二元关系用于讨论两个数学对象的联系。诸如算术中的大于及等于,几何学中的相似,或集合论中的为...之元素或为...之子集。二元关系有时会简称关系,但一般而言关系不必是二元的。
集合X与集合Y上的二元关系是R=(X,Y,G(R)),其中G必是二元的。
集合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是一个关系。