Relation Contains Diagonal Relation iff Reflexive