Insemma di part

Modell:MILCLASS Modell:Sbozz L'insemma di part a l'è l'insemma de tucc i sottainsemma de on daa insemma. A l'è ciamaa anca insemma potenza. Per esempi per on insemma S faa de $\{a,b,c\}$ i sottinsemma $𝒫(S)$ a hinn:

• $\varnothing$ (l'insemma voeud)
• $\{a\}$
• $\{b\}$
• $\{c\}$
• $\{a,b\}$
• $\{a,c\}$
• $\{b,c\}$
• $\{a,b,c\}$ che l'è l'insemma midemm $S$

Donca l'insemma di part a l'è

$𝒫(S)=\{\varnothing ,\{a\},\{b\},\{c\},\{a,b\},\{a,c\},\{b,c\},S\}$

A l'è dimostraa de l'argoment diagonal de Cantor che la cardinalità de P(S) a l'è semper strettament pussee volta de quella de S.

Riferiment

• Insieme delle parti - Treccani