当且仅当如下条件成立时，范畴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）。