Supongamos, por el contrario, que la curva de indiferencia es "gruesa" o se cruza. Sólo podemos asumir los cuatro axiomas: completitud, transitividad, reflexividad y continuidad. No asumimos la monotonicidad estricta de las preferencias.
Definir el CI como $\{y \in X: y \sim x\}$ donde $X$ es un conjunto (posiblemente no finito) de paquetes de consumo y $x$ se elige arbitrariamente entre $X$ .
No veo la manera de demostrar esto sin asumir la monotonicidad en absoluto.
