A binary relation on a set that is reflexive and symmetric is called a compatible relation.

• 一个集合上的二元关系，如果它是自反的也是对称的，可称它为相容关系。