Necessary and sufficient conditions are derived for a social choice correspondence to be the one that selects the Pareto optimal alternatives.