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) 不同；一个元素的列表并不用该元素本身来标识。