erlang canonical_relation(SetOfSets)用法及代码示例

canonical_relation(SetOfSets) -> BinRel

类型：

BinRel = binary_relation()

SetOfSets = set_of_sets()

返回包含元素 (E, Set) 的二元关系，使得 Set 属于SetOfSetsE 属于集合。如果SetOfSets是一个分割集合 X 和 R 是 X 中的等价关系，由SetOfSets，那么返回的关系是规范Map从 X 到 R 的等价类。

1> Ss = sofs:from_term([[a,b],[b,c]]),
CR = sofs:canonical_relation(Ss),
sofs:to_external(CR).
[{a,[a,b]},{b,[a,b]},{b,[b,c]},{c,[b,c]}]

相关用法

注：本文由纯净天空筛选整理自erlang.org大神的英文原创作品 canonical_relation(SetOfSets) -> BinRel。非经特殊声明，原始代码版权归原作者所有，本译文未经允许或授权，请勿转载或复制。