sottoinsième

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 è un insieme d’erbe, ... che include un sottoinsieme d’erbe coltivate e un sottoinsieme d’erbe spontanee (I. Calvino). In partic., in matematica, un insieme J è un sottoinsieme di un insieme I se ogni elemento di J appartiene ad I; si dice anche che J è contenuto o incluso in I e si scrive J ⊂− I; la definizione non esclude che J possa coincidere con I; se invece si vuole specificare che J è diverso da I, cioè che esiste almeno un elemento di I che non appartiene a J, si parla di s. proprio e si scrive J ⊂ I.