`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).

Version 2.4 (May 1998)