Nota
64
[02K] Attenzione! Supponiamo come sopra che gli insiemi \(A_ i\) siano non vuoti. Questo si scrive formalmente come \(∀ i∈ I,∃ x∈ A_ i\). Intuitivamente questo ci porta a dire che l’elemento \(x\) dipende da \(i\), e dunque che \(x=x(i)\). Questo passo, per quanto intuitivo, è esattamente l’assioma della scelta.