Uniformization (set theory): Difference between revisions

Such a function is called a '''uniformizing function''' for <math>R</math>, or a '''uniformization''' of <math>R</math>.

 

 

To see the relationship with the axiom of choice, observe that <math>R</math> can be thought of as associating, to each element of <math>X</math>, a subset of <math>Y</math>. A uniformization of <math>R</math> then picks exactly one element from each such subset, whenever the subset is [[nonempty]].