In Arrow’s General Possibility Theorem (GPT), social choice should be defined over allpairs of alternatives. In this paper, we generalize Arrow’s GPT to situations where choice over pairs ofalternatives may not be possible. This shows that Arrow’s GPT and related impossibility results canbe established without binariness of social choice.