Condition SO requires that the result of aggregating individual preferences is always a weak ordering of the alternatives, a binary relation among them that is both transitive and connected. Intuitively, the result has to be a ranking of the alternatives from better to worse, perhaps with ties. There is never to be a cycle of social preferences, like the one derived by pairwise majority decision in the paradox of voting, in Section 1.