2.11 ReflexiveClosure

ReflexiveClosure( rel )

ReflexiveClosure returns the reflexive closure of the relation rel, i.e., the relation R subseteq {1, ..., n} x {1, ..., n} that consists of all pairs in rel and the pairs (1, 1), dots, (n, n), where n is the degree of rel.

    gap> ReflexiveClosure( Relation( [ [ ], [ 1 ], [ 1, 2 ] ] ) );   
    Relation( [ [ 1 ], [ 1, 2 ], [ 1, 2, 3 ] ] ) 

By construction, the reflexive closure of a relation is reflexive (see IsReflexive).

   
[Index]