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 .