sottoinsieme proprio di un insieme X, è un qualsiasi sottoinsieme di A ⊂ X con A ≠ ∅. È, quindi, un qualsiasi sottoinsieme di X diverso dal sottoinsieme vuoto e dal sottoinsieme coincidente con X stesso.
propriamente
propriaménte (pop. propiaménte) avv. [der. di proprio]. – Realmente, veramente, a dire le cose come sono: i fatti si sono svolti p. così; lui p. non ne ha alcuna colpa; esattamente, precisamente: con chi vuole parlare p.?;...
sottoinsieme
sottoinsième (o sottinsième) s. m. [comp. di sott(o)- e insieme (nel sign. 2)]. – Ciascuno degli insiemi minori in cui un insieme è o può essere suddiviso: i varî s. di un insieme di dati, di elementi statistici; il prato è...