Unformatted text preview: among ( Â 1 , . . . , Â n ) (with ties broken in some predetermined way). Axioms Once again we use the axiomatization methodology. We suggest a set of axioms on social welfare functions and study their implica-tions. Let F be an SWF. Condition Par (Pareto): For all x , y ∈ X and for every pro±le ( Â i ) i ∈ N , if x Â i y for all i then x Â y . The Pareto axiom requires that if all individuals prefer one alter-native over the other, then the social preferences agree with the individuals’. Condition IIA (Independence of Irrelevant Alternatives): For any pair x , y ∈ X and any two pro±les ( Â i ) i ∈ N and ( Â i ) i ∈ N if for all i, x Â i y iff x Â i y , then x % y iff x % y ....
View Full Document
- Fall '10
- Binary relation, social welfare functions