(lat. Subsumptio; in. Subsumption; fr. Subsumption; al. Subsumption; it. Sussunzione).
Em sentido próprio, a assunção da premissa menor do silogismo, chamada de hipolema por Hamilton, para reservar o termo lema à premissa maior (Lectures on Logic, I2, p. 283; cf. Wolff, Log., § 361). Kant falou de “subsunção de um objeto sob um conceito” (Crítica da Razão Pura, Anal. dos Princ, cap. I), e em sentido idêntico Husserl observava que “a subsunção de um indivíduo, em geral de um este aqui, sob uma essência não deve ser confundida com a subordinação de uma essência a uma espécie ou a um gênero superiores” (Ideen, I, § 13). (Abbagnano)