Verifica que por cada tres objetos (x1,y1y2)x2, (,) y (x3,y3), tenemos (X×Y) ((x1,y1)x2, (,y2)) (X×Y) ((x2,y2)\(x_{3...Verifica que por cada tres objetos (x1,y1y2)x2, (,) y (x3,y3), tenemos (X×Y) ((x1,y1)x2, (,y2)) (X×Y) ((x2,y2)x3, (,y3) ≤ (X×Y) ((x1,y1)x3, y3)).