集合及二元关系

集合及关系 关系的运算 AxB：笛卡尔乘积。A中的元素作为第一元素，B中的元素作为第二元素，构成所有的序偶构成的集合作为结果。 domR：R的定义域。R中所有序偶第一元素构成的集合 ranR：R的值域。R中所有序偶第二元素构成的集合 fldR：R的域。domR与ranR的并集 R^-1：R的逆关系/R的逆。每个序偶第一元素和第二元素交换 F⚪G：G对F的右合成。第一元素x来自F，第二元素y来自G，

>>阅读原文<<