A上的关系R是自反的,当且仅当恒等关系是R的子集,当且仅当R的关系矩阵的主对角线元素全为1,也当且仅当R的关系图中每个结点都有有向环。 B. A上的关系R是反自反的,当且仅当R与恒等关系的交集是空集,当且仅当R的关系矩阵的主对角线元素全为0,也当且仅当R的关系图中每个结点都有没有环。 C. A上的关系R是对称的,当且仅当R的逆关系等于R,当且仅当R的关系矩阵是对称矩阵,也当且仅当R的关系图中不同的点之间有边的话一定是方向相反的两条。 D. A上的关系R是反对称的,当且仅当R的逆关系与R的交集是恒等关系的子集,当且仅当MR中关于主对角线对称的位置不能同时为1,也当且仅当R的关系图中不同的点之间有边的话只能说一条有向边。 E. A上的关系R是传递的,当且仅当R^2⊆R,当且仅当MR^2为1的位置MR中也为1,也当且仅当R的关系图中x到y有边且y到z也有边的话一定有x到z的边。