集合及二元關係

集合及關係 關係的運算 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，

>>阅读原文<<