Condition U requires that \(f\) is defined for each “logically possible” profile of individual preferences. A second requirement is that, in each case, \(f\) produces an ordering of the alternatives, perhaps with ties: