There is a very neat relation between the core (the set of proposals that defeats every proposal) of a voting system and the Pareto sets of the voters. Suppose there is a voting system of quota $q$, then the core is the intersection of all such sets: the Pareto set of $q$ of the voters.
https://ulysseszh.github.io/economics/2023/03/25/voting-pareto.html?
There is a very neat relation between the core (the set of proposals that defeats every proposal) of a voting system and the Pareto sets of the voters. Suppose there is a voting system of quota $q$, then the core is the intersection of all such sets: the Pareto set of $q$ of the voters.