设有两个非空集合，两个的笛卡尔积的子集 R 称为从 A 到 B 的二元关系，简称关系
特别的，当 R 是空集的时候，称 R 是 空关系
当 R 是笛卡尔积的时候，称 R 为 全关系
当 时，称为 A 上的 恒等关系
对于关系 R：
是 域
2024年5月02日1分钟阅读
设有两个非空集合，两个的笛卡尔积的子集 R 称为从 A 到 B 的二元关系，简称关系
xRy特别的，当 R 是空集的时候，称 R 是 空关系
当 R 是笛卡尔积的时候，称 R 为 全关系
当 R={⟨x,x⟩∣x∈A} 时，称为 A 上的 恒等关系
对于关系 R：
C={x∣⟨x,y⟩∈R}=domR 是 定义域，D={y∣⟨x,y⟩∈R}=ranR 是 值域
E=C∪D=fldR 是 域