¿Cómo podemos probar lo siguiente? Si una relación$R$ es un orden débil en un conjunto$X$ y$X_\sim$ es finito, entonces existe una función$v:X\to \mathbb{N}$, que es un Representación del valor de la relación de preferencia$R$.
Aquí sé la construcción de la función$v$ cuando el rango es el conjunto de números reales (como$X_\sim$ es contable). Pero, estoy confundido cuando el rango de$v$ es el conjunto de números naturales.
¿Podría alguien ayudarme por favor?