Majority decisions when abstention is possible (Q764902)

Consider a family of choice functions on pairs from a given finite set of, say, candidates for an office. Call each of such functions a voter. The question addressed in this paper is: what choice functions agree, on every pair, with the majority of some finite subfamily of the voters? This question is here addressed for the general case of voters being allowed to abstain. Aside from the trivial case, the possible families of (partial) choice functions break into three cases in terms of the functions that can be generated by majority decision. In one of these, cycles along the lines of Condorcet's paradox are avoided. In another, all partial choice functions can be represented.