Definition:Reflexive Relation