A上二元关系的定义是：其笛卡尔A×A子集
A×A中,有元素N²个,所以其子集有 2^(N²) 个
所以二元关系有 2^(N²) 个