This paper analyzes the concept of envy-freeness in the framework of Arrovian social choice theory. We define various no-envy conditions and study their relationships with Arrow's condition of independence of irrelevant alternatives. We also propose a new condition, called Minimal Equity, that...

We show that Arrow's condition of independence of irrelevant alternatives is logically related to conditions of consistency of choice (in particular, to Arrow's choice axiom). The relation, however, is indirect. The link is provided by an independence condition due to Hansson (Synthese, 1969)...