Fixed Agenda Social Choice Theory: Correspondence and Impossibility Theorems for Social Choice Correspondences and Social Decision Functions