[MONOiD]

2.5 EmptyRelation

EmptyRelation( n )

EmptyRelation returns the empty relation of degree. This is the relation { } subseteq {1, ..., n} x {1, ..., n}.

    gap> EmptyRelation( 5 ) ;
    Relation( [ [  ], [  ], [  ], [  ], [  ] ] ) 

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

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

Version 2.4 (May 1998)

[MONOiD]