Ensemblo-partigo

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

• es ne vakua,

  $\forall _{t\in T}A_{t}\neq \varnothing ;$

• es kom paro desjuntanta,

  $A_{i}\neq A_{j}\implies A_{i}\cap A_{j}=\varnothing ;$

• unionas su kun specifika ensemblo,

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