Particija skupa je pojam iz teorije skupova.
Uz zadani skup A te porodicu podskupova od A
{Ai: i ∈ I }
što znači da za svaki element i koji je element skupa indeksa I
za koji vrijedi
Ai ⊆ A
{Ai: i ∈ I } je particija skupa A uz ove uvjete:
a) je
b) takve da je , vrijedi
c)
Svaka relacija ekvivalencije dijeli skup na klase, tj. čini jednu particiju skupa, i svaka particija skupa stvara jednu relaciju ekvivalencije.
Izvori
- Prirodoslovno matematički fakultet u Zagrebu Mladen Vuković: Neki osnovni pojmovi teorije skupova, 2004. str. 2-3 (pristupljeno 8. listopada 2019.)