This paper considers social choice correspondences assigning a choice set to each non-empty subset of social alternatives. We impose three requirements on these correspondences: unanimity, independence of preferences over infeasible alternatives and choice consistency with respect to choices out...