Inclusion

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

${\displaystyle B\subseteq A\iff \forall x:x\in B\Rightarrow x\in A.}$

Quest articol chì l'è scrivuu in lombard, grafia milanesa.

A sottainsemma di B

L'insenma ${\displaystyle B}$ se ciama sottainsemma de ${\displaystyle A}$.

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

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

Riferiment

• Sottoinsieme - Treccani
• Inclusione - Treccani

Vos corelaa

• Sottaclass (teoria di insemma)