erlang relative_product(ListOfBinRels)用法及代碼示例

如果ListOfBinRels是二元關係的非空列表 [R[1], ..., R[n]] 且BinRel1是二元關係，那麽BinRel2是個相關產品有序集 (R[i], ..., R[n]) 和BinRel1.

如果BinRel1被省略，元素之間的相等關係笛卡爾積而是使用 R[i] 範圍的範圍 R[1] × ... × 範圍 R[n](直觀上，沒有什麽是"lost")。

1> TR = sofs:relation([{1,a},{1,aa},{2,b}]),
R1 = sofs:relation([{1,u},{2,v},{3,c}]),
R2 = sofs:relative_product([TR, R1]),
sofs:to_external(R2).
[{1,{a,u}},{1,{aa,u}},{2,{b,v}}]

請注意， relative_product([R1], R2) 與 relative_product(R1, R2) 不同；一個元素的列表並不用該元素本身來標識。