Subsumir

Diz-se na lógica que um conceito se acha subsumido quando é pertencente a outro, como o é a espécie ao gênero.