离散数学中怎样通过关系矩阵去判断一个集合的性质?

问题描述:

离散数学中怎样通过关系矩阵去判断一个集合的性质?
怎样判断它是否具有自反性、反自反,对称性、反对称,传递性...

自反性:关系矩阵的主对角线上元素全部为1
反自反:关系矩阵的主对角线上元素全部为0
对称性:关系矩阵关于主对角线对称
反对称:关系矩阵关于主对角线不对称或者非主对角线上元素全部为0
传递性:这个得用矩阵的乘法,很难直接看出来大神,能画个图给我吗?谢谢!!!那传递性怎样判断才是最快的?画图就不方便了