Inclusione

Nella teoria degli insiemi l’inclusione è una relazione tra gli elementi di due insiemi, tale che gli elementi della relazione appartengono ad entrambi gli insiemi. In simboli, dati due insiemi A e B: oppure, a parole: B è contenuto o incluso in A se e solo se, per ogni elemento x, se x appartiene a B allora x appartiene ad A. Si parla, più propriamente, di inclusione stretta, per indicare che ogni elemento di B è anche elemento di A ma che esistono elementi di A che non sono elementi di B.