Nondictatorially independent pairs

Suppose that social welfare function f satisfies the Pareto condition and has complete and transitive values. On a domain satisfying the free quadruple property, if the outcome set X has m< outcomes, then the set of pairs of distinct alternatives on which f satisfies both independence and nondictatorship contains at most the fraction 2/m of all pairs. On a domain satisfying the free six-tuple property, if X is a subset of Euclidean space then the set of pairs on which f satisfies both independence and nondictatorship has Lebesgue measure zero.Campbell's research was financed by the National Science Foundation, grant SES 9209039.