Un insieme B si dice sottoinsieme proprio di A se ogni elemento di B è anche un elemento di A, ma c’è almeno un elemento di A che non appartiene a B.