Subsumption may refer to:

• A minor premise in symbolic logic (see syllogism)

• The Liskov substitution principle in object-oriented programming

• Subtyping in programming language theory

• Subsumption architecture in robotics

• A subsumption relation in category theory, semantic networks and linguistics, also known as a "hyponym-hypernym relationship" (Is-a)

• Subsumption (Marxism), including the concepts of formal and real subsumption

• Theta-subsumption, a decidable entailment relation between clauses