The possibility of generalized social choice functions and Nash’s independence of irrelevant alternatives