A condição de Spence-Mirlees de que !$ {\partial \mu \over \partial \theta} (q, \theta) > 0 !$, para quaisquer !$ \theta !$ e !$ q !$, na qual !$ q !$ é um vetor de bens, !$ \theta !$ é o tipo do agente e !$ u !$ é a função utilidade do agente, garante que as curvas de indiferença de dois tipos diferentes de agentes só se cruzam uma vez.