Particija skupa

Izvor: Wikipedija
Prijeđi na navigaciju Prijeđi na pretraživanje

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[uredi VE | uredi]