An axiomatic characterization of the Borda mean rule

A social dichotomy function maps a collection of weak orders to a set of dichotomous weak orders. Every dichotomous weak order partitions the set of alternatives into approved alternatives and disapproved alternatives. The Borda mean rule returns all dichotomous weak orders that approve all alternatives with above-average Borda score and disapprove alternatives with below-average Borda score. We show that the Borda mean rule is the unique social dichotomy function satisfying neutrality, reinforcement, faithfulness, and the quasi-Condorcet property. Our result holds for all domains of weak orders that are sufficiently rich, including the domain of all linear orders and the domain of all weak orders.