Nota
19
[01M] È di uso comune questa dicitura: “sia \(I\) un insieme non vuoto di indici, sia \(A_ i\) una famiglia di insiemi indicizzata da \(i∈ I\)”; questa, nella teoria assiomatica, andrebbe scritta come “sia \(I\) un insieme non vuoto, sia \(X\) un insieme, sia \(A:I→{\mathcal P}(X)\) una funzione; scriveremo \(A_ i\) al posto di \(A(i)\)”. (Con questa scrittura si ha che gli \(A_ i\) sono tutti sottoinsiemi di \(X\)).