![[MONOiD]](monoid.png)
IsRelation( obj )
IsRelation returns true if obj, which may be an object of arbitrary
type, is a relation and false otherwise. It will signal an error if
obj is an unbound variable.
gap> IsRelation( 1 );
false
gap> IsRelation( Relation( [ [ 1 ], [ 2 ], [ 3 ] ] ) );
true
Version 2.4 (May 1998)