[MONOiD]

2.15 TransitiveClosure

TransitiveClosure( rel )

TransitiveClosure returns the transitive closure of the binary relation rel.

    gap> TransitiveClosure( Relation( [ [ ], [ 1 ], [ 2 ], [ 3 ] ] ) );
    Relation( [ [  ], [ 1 ], [ 1, 2 ], [ 1, 2, 3 ] ] ) 

By construction, the transitive closure of a relation is transitive (see IsTransitiveRel).

[Previous] [Up] [Next] 
[Index]

Version 2.4 (May 1998)

[MONOiD]