从命题逻辑的角度来说,上述定义是个蕴涵式命题:p→q.当p假时,命题恒真.这里,R中没有出现x≠y时的,所以p假,命题真,满足定义.
对于对称性的定义,一样判断出R满足定义.
综上,如果R中只有的元素,R即有对称性又有反对称性.