inclusione

inclusione

inclusione relazione tra sottoinsiemi di un insieme X, che si verifica quando tutti gli elementi di uno di essi sono anche elementi dell’altro. Si dice che un sottoinsieme A di X è incluso (o contenuto) in un sottoinsieme B di X se ogni elemento di A appartiene a B: si scrive allora A ⊆ B. Per negare l’inclusione (ossia se esiste almeno un elemento di A che non appartiene a B) si scrive invece A ⊄ B. Un insieme è banalmente contenuto in sé stesso e l’insieme vuoto è contenuto in ogni insieme. Nel caso in cui A è contenuto in B e non coincide con esso, vale a dire se esiste almeno un elemento di B che non appartiene ad A, si parla allora di inclusione stretta e si scrive A ⊂ B.