考虑一个定义在有限集X上的理性偏好关系a,让m和n分别表示从理性的偏好关系中到处的无差异的和严格的偏好关系。证明（1）m和n是传递的。（2）从s偏好t和t偏好z推导出s偏好z。（其实这里的m和n是一个符号，我不知道应该怎么用键盘表示出来，所以只好用了字母）