Inclusione

L'inclusione è una relazione tra gli elementi di due insiemi. Nella teoria degli insiemi si parla di inclusione quando tutti gli elementi di un insieme A appartengono anche a un secondo insieme B. Nella notazione matematica ciò può essere scritto

A ⊆ B ⇔ ∀ x : x ∈ A ⇒ x ∈ B

Tale notazione può essere letta nel seguente modo: "l'insieme A è contenuto in B se e solo se ogni elemento x dell'insieme A appartiene anche all'insieme B". L'inclusione è la relazione tipica dei sottoinsiemi. La relazione di inclusione può essere spiegata agevolmente mediante la rappresentazione grafica degli insiemi.

Nella rappresentazione grafica della relazione di inclusione ogni elemento dell'insieme A appartiene anche all'insieme B. Si verifica, pertanto la relazione di inclusione dell'insieme A nell'insieme B. In altri termini, l'insieme A è un sottoinsieme di B.