范畴蕴涵

范畴蕴涵（category subsumption），文学-语言文字-计算语言学及语料库语言学-计算语言学-复杂特征，范畴之间存在的包含关系。当且仅当如下条件成立时，范畴A蕴涵于范畴B：A中的每一个原子值特征都处于B中；对于A中共享的两个特征值, 在B中相应的特征值也共享；对于A中的每一个范畴值特征，在B中相应的特征都有一个值，而且A中特征的值蕴涵于B中特征的值之中。如果A蕴涵于B，就说B是A的扩充（extension），或者说“B扩充了A”。如果范畴A包含的信息少于范畴B包含的信息，那么就说范畴A真包含于范畴B，这时A中的每一个信息必定在B中出现，反之不然。根据蕴涵的定义，可以看出，在下面的非循环有向图中：带有范畴的非循环有向图范畴（a）蕴涵于范畴（b），也蕴涵于范畴（c）和（d）；范畴（b）与（c）彼此互不蕴涵，范畴（b）和（c）都蕴涵于范畴（d）。