Subsumption
From Wikipedia, the free encyclopedia
Subsumption may refer to:
- Subsumption, a minor premise in symbolic logic
- The Liskov substitution principle in object-oriented programming
- Subsumption architecture in robotics
- a subsumption relation in category theory, semantic networks and linguistics, also known as a hyponym-hypernym relationship (Is-a); a given set A is said to subsume set B if B is a subset of A; in other words, all individuals from B are also in A, not excluding the possibility that other individuals are also in A. In other words, B is a subset of A. This can also be written as "A ⊇ B", pronounced "A subsumes B". The inverse relationship also holds true: "B ⊆ A", or "B is subsumed by A". For example, A can be all animals and B can be all cats.