Oh, and now that I’m going over it more carefully, another nitpick: You don’t seem to actually define the notation Π_i before using it in the definition of a social choice function, and it isn’t clear (to me) from context what it’s supposed to mean.
That’s an indexed Cartesian product, analogous to sigma notation for indexed summation, so
Oh, okay. Hah, here I was trying to fight my instinct to automatically interpret capital-pi as a product. Thanks!
Oh, and now that I’m going over it more carefully, another nitpick: You don’t seem to actually define the notation Π_i before using it in the definition of a social choice function, and it isn’t clear (to me) from context what it’s supposed to mean.
That’s an indexed Cartesian product, analogous to sigma notation for indexed summation, so
Oh, okay. Hah, here I was trying to fight my instinct to automatically interpret capital-pi as a product. Thanks!