Jeżeli wyborca nie oznaczy kandydata, znaczy to, że ściśle preferuje oznaczonych nad nieoznaczonym i że nie preferuje nikogo wśród nieoznaczonych.

Rys matematyczny Niech d[V,W] stanowi liczbę wyborców, którzy ściśle preferują kandydata V nad kandydata W.

Ścieżka prowadząca od kandydata X do kandydata Y o mocy p to ciąg kandydatów C(1),...,C(n) o następujących właściwościach:

C(1) = X i C(n) = Y. Dla wszystkich i = 1,...,(n-1): d[C(i),C(i+1)] > d[C(i+1),C(i)]. Dla wszystkich i = 1,...,(n-1): d[C(i),C(i+1)] ≥ p. Istnieje i, 1 ≤ i ≤ n-1 takie że: d[C(i),C(i+1)] = p.

p[A,B], moc najsilniejszej ścieżki od kandydata A do kandydata B, to wartość maksymalna wśród ścieżek od kandydata A do kandydata B. Jeżeli w ogóle nie istnieje ścieżka od kandydata A do kandydata B, wtedy p[A,B] : = 0.

Kandydat D jest lepszym od kandydata E, wtedy i tylko wtedy, gdy p[D,E] > p[E,D].

Kandydat D jest potencjalnie zwycięzcą (wygrywającym) wtedy i tylko wtedy, gdy p[D,E] ≥ p[E,D] dla każdego innego kandydata E.