core :: DisjointSet :: in_same_subset
# Are two elements in the same subset? fun in_same_subset(e,f:E): Bool do return e == f or find(e) == find(f) end