给定集合A上的关系r，若r是自反的，对称的，则称r是相容关系。

例如：设集合A是由下列英文单词组成的集合。

A={cat,teacher,cold,desk,knife,by}

定义关系：

r={<x,y>|x,y属于A，且x和y有相同的字母}。

由定义可知，r是相容关系。其关系矩阵主对角线上的元素都是1，且矩阵是对称的。