Rubinstein Safra and Thomson (1992) introduced the Ordinal Nash Bargaining Solution. They proved that Pareto Optimality, Ordinal Invariance, Ordinal Symmetry, and IIA characterize this solution. They restrict attention to a domain of social choice problem with an infinite set of basic...