Reflexive relations -> Self loops must exists. For All a, (a,a) belongs to relation. Other elements may or may not be present
In Diagonal Relation -> Other than diagonal elements all other elements must be 0, i.e. For all a, For all b, if a!= b, (a,b) does not belong to relation. Diagonal elements may or may not be present.