 Resoluteness: The social choice rule \(f\) always produces a unique winning alternative (a singleton choice set). (We then write \(x = f(R_1, R_2 , \ldots ,R_n)\) to denote the winning alternative for the profile \(\langle R_1, R_2 , \ldots ,R_n\rangle\).)