Definition:Quasi-Reflexive Relation (Class Theory)