관계 R을 부울행렬로 표현했을때

R이 추이관계인지 바로 알아볼 수 있는 방법이나 연산 있음?

반사면 주대각이 전부 1이고

대칭관계면 M = M^T 이런거