Dati due insiemi A, B, se tutti gli elementi di B appartengono anche ad A, si dice che B è un sottoinsieme di A o anche che B è incluso in A e si scrive:
                         BÌA     oppure      BÍ A

La differenza tra i due simboli:
nel primo caso esiste almeno un elemento di B che non appartiene ad A quindi A¹B.

Nel primo caso si parla anche di sottoinsieme proprio e si dice che B è incluso propriamente in A.