Si x pertenece a V(y) y ẋ ≥x ,entonces ẋ pertenece a V(y).
También suele ser un buen supuesto en el caso de los conjuntos de producción. En este contexto , por lo general, supoonemos que se y pertenece a Y e ẏ ≤ y ,ẏ también debe pertenecer a Y.
Varian, ANÁLISIS MICROECONÓMICO .Editorial "Antoni bosch" ,tercera ed.1998 ,Barcelona. Cap I, Pág.9.