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).

   
[Index]