# Non-dictatorship

There is no voter i in {1, ..., n} such that for every set of orderings in the domain of the constitution and every pair of social states x and y, x ${\displaystyle P_{i}}$ y implies x P y.