Por lo que entiendo de la respuesta de @Giskard es que el hecho de que tengamos comparabilidad de elementos sobre conjuntos de 2, no implica necesariamente el hecho de que tengamos comparabilidad sobre conjuntos de 3.
Consideremos el caso en el que estamos considerando paquetes $X=\{x_1,x_2\}$ , $Y=\{y_1,y_2\}$ y $Z=\{z_1,z_2\}$ . Supongamos ahora que tenemos para la comparación por pares entre paquetes: $$(1)\ \{X,Y\}\in A,\ \ \ Y\in C(A)$$ $$(2) \ \{Y,Z\}\in B,\ \ \ Z\in C(B)$$ $$(3) \ \{Z,X\}\in D,\ \ \ X\in C(D)$$
Donde $C(\cdot)$ es la elección en el entorno $A,B,D$ ect.
Hemos demostrado que, de hecho, tenemos plenitud de preferencias, ya que podemos comparar dos paquetes cualesquiera. Sin embargo, la transitividad no está establecida porque, dados los resultados anteriores, no podemos decir para $ \{X,Y,Z\}\in Q$ hay una elección que se sigue ya que tenemos (3) como nuestra fuente de irracionalidad que falsea la transitividad de las preferencias.
Gráficamente tenemos la siguiente situación:
0 votos
Como hemos descubierto después de responder a su pregunta, el cuerpo y el título se refieren a diferentes tipos de relaciones de preferencia. (Ver las respuestas para más detalles).
0 votos
@Giskard whoops he escrito mal. Edito ahora
0 votos
Por favor, al menos mencione la errata, para no excluir ninguna de las dos respuestas.
1 votos
9 comentarios y 4 upvotes (en total Q&As), ¡bastante tráfico para una pregunta con 6 vistas!
0 votos
@Giskard me alegra ver que otros también han pensado en esta oscura cuestión.
1 votos
Dados no transitivos conducen a un montón de respuestas interesantes a esto porque proporcionan probabilidades concretas tan agradables para crujir.