设X是一个v元集，v≥3.X上的一个可迁三元组(x，y，z)是由有序对(x，y)，(y，z)与(x，z)构成的，这里x，y，z是X中的相异元。X上的一个有向三元系是一个......