A social welfare function is a mapping from a set of profiles of individual preference orderings to the set of social orderings of a universal set of alternatives. A social choice correspondence specifies a nonempty subset of the agenda for each admissible preference profile and each admissible...