Ensemblo-partigo

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

• es ne vakua,

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

• es kom paro desjuntanta,

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

• unionas su kun specifika ensemblo,

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