On Jul 2, 6:00 pm, "Ross A. Finlayson" <ross.finlay...@gmail.com> wrote:
> Here a choice function is a bijective function from an ordinal (which > is a collection of all lesser ordinals) to a set, or vice versa.
What does "here" refer to in your sentence? Choice functions are not necessarily bijections, nor do they necessarily involve ordinals, so I don't know what you're talking about.