partizione

Definizione

Sia $X$ un insieme. Si dice partizione di $X$ una famiglia di insiemi $\{A_i{\}}_{i\in I}$ tale che

1. $A_i\ne \varnothing$; $\forall i\in I$
2. ${\bigcup }_{i\in I}{A}_i=X$
3. $A_i\cap A_j=\varnothing ⟺A_i=A_j$

Risorse