A到B上的二元关系可以用mn表示。
二元关系是笛卡尔乘积A×B，共有mn种单独的关系。单独的关系，在一个确定好的二元关系中，要么存在，因此这些关系的幂集，元素个数（集合的势）是2^(mn)。一个集合中有若干个元素，任意两个元素，可看作是元，他们之间满足一定的关系，即可理解为二元关系。
特殊的二元关系
注：下文我们将采用把二元关系R定义为A × A的子集的做法。
设A是一个集合，则。
空集∅称作A上的空关系（因为∅也是A × A的子集）。
EA = A × A称作A上的全域关系。
IA = {(x,，x)： x∈A} 称作A上的恒等关系。
