Estoy tratando de probar una afirmación de que si es una estructura de elección, entonces debe satisfacer la condición Sen.
Sin embargo, si , puedo construir alguna estructura de elección como .
Dicha estructura de elección viola claramente la condición (encogimiento).
Entonces, ¿alguien puede señalar dónde me equivoco? ¿O la declaración supone que la relación es racional?
¡Gracias!