Reply To: Oversight in the Contraction Lemma (Proof of Arrow\'s Theorem)


Oh OK. The problem is that I didn’t realize a “proper subset” included the empty set! But you’re right, as stated the lemma isn’t right.

Do you agree all I need to do is add the word “non-empty” before “proper subset” in the statement of the lemma?