Therefore, an allocation is incentive-compatible if and only if no individual envies ex ante the bundle of any other agent.
When an individual "envies" another in this particular sense, he simply prefer the other's consumption to his own, but no feeling is involved (he might even not be aware of the existence of the other individual).
Alternatively, one may relate this condition to the choice of both an incentive-compatible social choice function (that is, a mechanism) and an admissible set of individual preferences that yield a particular allocation in which no individual envies ex ante the bundle of any other agent.
Individuals' emotion of envy is conceptualized in three related ways.
The Kansas City Metropolitan area is becoming the envy of individuals on the East and West coasts who have long since considered it merely flyover country.
In the second form, however, which Spillius labels as "impenitent", the individual is conscious of his envy, but does not suffer from conscious guilt and a sense of responsibility for his envy.
Goodrich's individual acclaim, far from inducing envy or awe, has nudged those around her to aim higher.
Elster points out, in addition, that an envy-free allocation does not ensure that no one experiences envy, if an individual can envy someone else's utility, rather than his resources.
This Joker's Card is a necromancer and illusionist who tries to trick individuals into acts of greed, envy, and lust.
No wonder they and their European counterparts envy the powers that individual members of Congress routinely enjoy.
