The (strict) majority relation ≻ maj {\displaystyle \succ _{\text{maj}}} of P {\displaystyle P} over A {\displaystyle A} is then defined so that a ≻ maj b {\displaystyle a\succ _{\text{maj}}b} if and only if a majority of the voters prefer a {\displaystyle a} to b {\displaystyle b} , that is | { i ∈ : a ≻ i b } | > | { i ∈ : b ≻ i a } | {\displaystyle |\{i\in :a\succ _{i}b\}|>|\{i\in :b\succ _{i}a\}|} .
Relația de majoritate (strictă)  ≻ maj {\displaystyle \succ _{\text{maj}}}  a lui P peste A se definește atunci astfel încât  a ≻ maj b {\displaystyle a\succ _{\text{maj}}b} dacă și numai dacă o majoritate a votanților preferă pe a lui b, adică  | { i ∈ : a ≻ i b } | > | { i ∈ : b ≻ i a } | {\displaystyle |\{i\in :a\succ _{i}b\}|>|\{i\in :b\succ _{i}a\}|} .