EDB — 27F

[27F]Nell’esercizio [029]↺↻ gli elementi sono identificati tramite le variabili \(a_ 1,\ldots a_ k\) che avremmo potuto anche denominare con altre lettere come \(a,b,c,d,\ldots \). Se però pensiamo a \(a_ 1,\ldots a_ k\ldots \) come a valori di una funzione \(a_ i=a(i)\), \(a:I\to X\) allora l’insieme \(\{ a_ 1,\ldots a_ k\ldots \} \) esiste (per un qualsiasi insieme \(I\) di indici) perché è l’immagine della funzione \(\{ a_ 1,\ldots a_ k\ldots \} =\{ x\in X:\exists i\in I, x=a_ i\} \).