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上的恒等关系。