Relaxing Pareto optimality in economic environments

The individual preference domain is the family of profiles of economic preferences on the set of allocations of public or private goods, or both. The agenda domain assumption allows for a finite lower bound on the size of a feasible set. If a social choice correspondence satisfies nonimposition, Arrow's choice axiom, and independence of infeasible alternatives then it is directly or inversely dictatorial, or null.