The free triple assumption

Many impossibility results, like Arrow's Theorem, can be strengthened by using a domain constraint that is substantially weaker than the usual domain condition.