In
matematica, e in particolare in
teoria degli insiemi, l
'inclusione, indicata con , è una
relazione binaria tra
insiemi definita nel seguente modo: "l'insieme è contenuto o incluso nell'insieme se e solo se, per ogni elemento , se appartiene a allora appartiene ad ". In simboli, dati due insiemi e , si ha:
L'insieme si dice
sottoinsieme di .