关系的传递(离散数学)中R={(a,a)}算不算传递,看起来这个也满足定义.