笛卡尔积 笛卡尔积无交换律和结合律,但满足对并交的分配律从A到B的不同关系一共有 2 ∣ A ∣ ∗ ∣ B ∣ 2^{|A|*|B|} 2∣A∣∗∣B∣个 二元关系 关系矩阵,纵为定义域dom( R ),行为值域ran( R )定义域和值域的并为fld( R ) R ↑ A R ↑ A R↑A,R在A上的限制,根据R中序偶首元搜索到与A中元素匹配的序偶 R [ A ] = r a n ( R ↑ A ) R[A]=ran(R ↑ A) R[A]=ran(R↑A),A在R上的像