:: deftheorem defines -dominated-election BALLOT_1:def 2 :
for A being object
for n being Nat
for B being object
for k being Nat
for v being FinSequence holds
( v is A,n,B,k -dominated-election iff ( v in Election (A,n,B,k) & ( for i being Nat st i > 0 holds
card ((v | i) " {A}) > card ((v | i) " {B}) ) ) );