Reflexive closure
In mathematics, the reflexive closure of a binary relation R {\displaystyle R} on a set X {\displaystyle X} is the smallest reflexive relation on X {\displaystyle X} that contains R {\displaystyle R} , i.e. the set R ∪ { ( x , x ) ∣ x ∈ X } {\displaystyle R\cup \{(x,x)\mid x\in X\}} .