closure

Synopsis

eset closure(eset)

Description

Computes the closure of an edge set.

Example

>> x = {1}X{2}+{2}X{3}+{3}X{4}
>> x
1 2
2 3
3 4
>> closure(x)
1 2
1 3
1 4
2 3
2 4
3 4