“自反的”可以造什么句，自反的造句

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

判断矩阵是否是自反的，对称的，离散数学中的二元关系。