Inclusion
Câa
![](http://upload.wikimedia.org/wikipedia/commons/thumb/b/b0/Venn_A_subset_B.svg/220px-Venn_A_subset_B.svg.png)
In la teoria di insemma, l'inclusion, indicada cont , a l'è 'na relazion binaria in tra insemma definida inscì: "l'insemma a l'è contegnuu dent de se e domà se, per ogni element , se el partegn a alora el partegn ad ". In simboi, daa du insemma e , se dis:
L'insenma se ciama sottainsemma de .
Se dis, pussee giustament, inclusion streccia, per dì che ogni element de l'è anca element de ma che gh'è di element de che hinn no di element de .
Se tucc i element de partegnen anca a se parla de sottainsemma improppi. Se parla de sottainsemma proppi se almen vun di element de el partegn mia a l'insemma , cioè in del cas de l'inclusion streccia.