Reflexive closure

The reflexive closure of a binary relation on a set is the smallest reflexive relation, which contains.

Mathematical definition

The reflexive closure of a binary relation on a set is given by

The diagonal on call.

Example

The reflexive closure of < - relation on (on an ordered set general ) is the relation.