A fundamental structure of strategy-proof social choice correspondences with restricted preferences over alternatives