[MONOiD]

2.10 IsReflexive

IsReflexive( rel )

IsReflexive returns true if the binary relation rel is reflexive and false otherwise. 

    gap> IsReflexive( Relation( [ [ ], [ 1 ], [ 1, 2 ] ] ) );
    false
    gap> IsReflexive( Relation( [ [ 1 ], [ 1, 2 ], [ 1, 2, 3 ] ] ) );
    true
A relation R subseteq {1, ..., n} x {1, ..., n} is reflexive if (i, i) in R for all i = 1, ..., n. (See also ReflexiveClosure.)

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

Version 2.4 (May 1998)
[MONOiD]