Se puede convertir, literalmente, cualquier conjunto en una curva de indiferencia de una relación de preferencia "bien comportada" (completa, transitiva, reflexiva).
Dejemos que $H \subset \mathbb{R}^n$ .
Supongamos que la relación de preferencia $\preceq$ es tal que
(i) para todos $x,y \in H$ tenemos $x \sim y$
(ii) para todos $x \in H$ , $y \notin H$ tenemos $x \not\sim y$ (es decir $x \succ y$ o $x \prec y$ , lo mismo para todos $y \notin H$ ).
(iii) $\preceq$ se comporta bien en $\mathbb{R}^n \setminus H$ .
Una forma sencilla de garantizar (iii) es asumir para todos $x,y \notin H$ tenemos $x \sim y$ .
Entonces $H$ (cualquiera que sea su forma) es una curva de indiferencia de $\preceq$ .
Tal $\preceq$ también puede representarse mediante una función de utilidad $u$ :
$u(x) = 0, \ \forall x \in H$
$u(x) = 1, \ \forall x \notin H$ .
Tenga en cuenta que este $u$ no es continua, pero usted no lo exigió. Para conjuntos cerrados $H$ se puede hacer continuo, fijando
$u(x) = \text{distance}(x, H)$ .