Definition:Reflexive Relation (Class Theory)