蕴含是集合与集合之间的从属关系，也叫子集关系。基本含义近同于蕴含、包涵，关系形容词。出自汉·桓宽《盐铁论·地广》：“王者包含并覆，普爱无私，不为近重施，不为远遗恩”。
性质：
传递性：若集合A包含于集合B，集合B包含于集合C，那么集合A包含于集合C；归属性：集合A包含于集合B，那么集合A在集合B里面，归属于B。
