离散数学（十二）：关系的幂运算与关系的性质