sottoinsième

sm. [sotto-+insieme]. In matematica, si dice che un insieme S è sottoinsieme di un insieme A se ogni elemento di S è anche elemento di A. A possiede in ogni caso come sottoinsieme se stesso e l'insieme vuoto; sono questi i due sottoinsiemi impropri di A; tutti gli altri sono detti sottoinsiemi propri.