In logic, subsumption explains how a particular case can be derived from a general rule.

subsumption 由前缀 sub-（表示"在...之下"）和动词 sume（来自拉丁语 sumere，意为"拿取"）加上名词后缀 -ption 构成。字面意思是"将某事物纳入更广泛的类别之下"。 在逻辑学中，subsumption 特指"包含关系"，即如何将具体实例归入更一般的规则或类别中。这种关系允许我们从普遍原则推导出特定案例。