Inclusion

A sottainsemma di B

In la teoria di insemma, l'inclusion, indicada cont $\subseteq$, a l'è 'na relazion binaria in tra insemma definida inscì: "l'insemma $B$ a l'è contegnuu dent de $A$ se e domà se, per ogni element $x$, se $x$ el partegn a $B$ alora $x$ el partegn ad $A$". In simboi, daa du insemma $A$ e $B$, se dis:

$B\subseteq A⟺\mathrm{\forall }x:x\in B\Rightarrow x\in A.$

L'insenma $B$ se ciama sottainsemma de $A$.

Se dis, pussee giustament, inclusion streccia, per dì che ogni element de $B$ l'è anca element de $A$ ma che gh'è di element de $A$ che hinn no di element de $B$.

Se tucc i element de $A$ partegnen anca a $B$ se parla de sottainsemma improppi. Se parla de sottainsemma proppi se almen vun di element de $A$ el partegn mia a l'insemma $B$, cioè in del cas de l'inclusion streccia.

Riferiment

• Sottoinsieme - Treccani
• Inclusione - Treccani

Vos corelaa

• Sottaclass (teoria di insemma)