Subsunción

La subsunción puede referirse a:

• Una premisa menor en lógica simbólica (véase silogismo ).
• El principio de sustitución de Liskov en la programación orientada a objetos.
• Subtipado en la teoría de lenguajes de programación
• Arquitectura de subsunción en robótica
• Una relación de subsunción en la teoría de categorías, redes semánticas y lingüística, también conocida como una "relación hipónimo-hiperónimo" (es-un).
• Subsunción (marxismo) , incluyendo los conceptos de subsunción formal y real.
• Subsunción theta , una relación de implicación decidible entre cláusulas