Inclusion
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.

Riferiment 
Sottoinsieme - Treccani
Inclusione - Treccani

Vos corelaa 
Sottaclass (teoria di insemma)

Teoria di insemma