Subsomption

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. Cette notion est ainsi équivalente à la relation « contient » en logique ensembliste, ou encore « est impliqué par » en logique classique : mammifère implique animal. La relation de subsomption permet de construire un treillis de Galois à partir d'un ensemble d'individus et de propriétés.