2.13 SymmetricClosure

SymmetricClosure( rel )

SymmetricClosure returns the symmetric closure of the binary relation rel.

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

By construction, the symmetric closure of a relation is symmetric (see IsSymmetric).

   
[Index]