设X是一个有限集.X上的一个循环三元组〈x，y，z〉是指由X中的三个有序对(x，y)，(y，z)和(z，x)构成的集合.X上的一个可迁三元组(x，y，z)是指由X......