EDB — 27F

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