Ensemblo-partigo

Ensemblo-partigo esas omna familio di ensembli $\{A_t:t\in T\}$ di subensembli di konkreta ensemblo $A$ konkordebla kun tri kondicioni:

• es ne vakua,

  ${\mathrm{\forall }}_{t\in T}{A}_t\ne \varnothing ;$

• es kom paro desjuntanta,

  $A_i\ne A_j⟹A_i\cap A_j=\varnothing ;$

• unionas su kun specifika ensemblo,

  $A=\bigcup _{t\in T}{A}_t.$