[MONOiD]

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.

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

Version 2.4 (May 1998)

[MONOiD]