Subsumsjon er en logisk operasjon som innebærer å inkludere en eller flere klasser eller kategorier i en annen klasse eller kategori. Det er en måte å klassifisere og organisere objekter eller konsepter på, og er en fundamental del av mange matematiske og logiske systemer.