若关系R是反自反的，当且仅当关系矩阵对角线的元素皆为零，关系图上每个结点都没有自回路。