La
subsomption désigne une relation d'inclusion entre des concepts, dans les
logiques de description. Elle correspond à la relation
hyponymie–
hyperonymie en linguistique, c'est-à-dire deux termes dont le sens de l'un inclut celui de l'autre : la notion d'
animal subsume celle de
mammifère ; tout mammifère est forcément un animal.