Sottoinsiemi propri. B è un sottoinsieme proprio di A quando ogni elemento di B appartiene anche ad A, ma esistono elementi di A che non appartengono a B. In Simboli: B A : B è propriamente contenuto, o propriamente incluso, in A. A B : A contiene propriamente, o include propriamente, B.
Sottoinsiemi propri. B è un sottoinsieme proprio di A quando ogni elemento di B appartiene anche ad A, ma esistono elementi di A che non appartengono a B. In Simboli: B A : B è propriamente contenuto, o propriamente incluso, in A. A B : A contiene propriamente, o include propriamente, B.