[EM] Two Lotteries

[Kristofer Munsterhjelm]

On 23/02/2021 22.34, Forest Simmons wrote:
> The first lottery is a proportional lottery:
> 
> From a randomly drawn ballot elect the lowest (worst) ranked alternative
> that pairwise beats every alternative ranked ahead of it.
> 
> To trade in proportionalty for the Condorcet Criterion, complete the
> drawn ballot with the help of additional randomly drawn ballots before
> finding the alternative closest to the bottom that beats all of those
> closer to the top.

How's proportionality defined in this context - of the method being a
proportional lottery?

-km