2.4 IdentityRelation

IdentityRelation( n )

IdentityRelation returns the identity relation of degree n. This is the relation = on the set {1, ..., n}.

    gap> IdentityRelation( 5 );
    Relation( [ [ 1 ], [ 2 ], [ 3 ], [ 4 ], [ 5 ] ] ) 

The identity relation of degree n acts as the identity in the full relation monoid of degree n.

   
[Index]