Disgiunzione: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Etichette: Modifica da mobile Modifica da web per mobile
Etichette: Modifica da mobile Modifica da web per mobile
Riga 22:
 
Una [[famiglia (matematica)|famiglia]] di insiemi <math>\,E_i</math> per <math>\,i\in I</math> si dice costituita da
'''insiemi mutuamente disgiunti''' (o '''a due a due disgiunti''') se per ogni coppia di indici distinti <math>\,h,k\in I</math> i corrispondenti insiemi sono disgiunti: <math>\,E_h \cap \,E_k = \varnothing</math>. Notare che questa è una proprietà più forte del richiedere che l'intersezione ''totale'' <math>\bigcap_{i \in I} E_I</math> sia vuota. Per esempio gli insiemi ''E'', ''F'' e ''G'' definiti sopra non sono mutuamente disgiunti sebbene <math>\bigcap_{i,E \incap I}\,F E_I\cap \,G = \varnothing</math> sia vuota.
 
Una [[partizione (teoria degli insiemi)|partizione]] di un insieme è costituita da un [[ricoprimento]] fatto con suoi sottoinsiemi mutuamente disgiunti.