A包含于B，B不包含于C，A就不包含于C

A包含于B，说明A是B的子集；B不包含于C，说明B不是C的子集；那么，A就不包含于C？不一定，如果反过来，C包含于B呢？即C也为B的子集，这时A就可能为C的子集。如：A={1，2，3}，B={1，2，3，4，5}，C={1，2，3，4}。就满足要求。事实上，传递性在全包含关系时成立，即：如果A包含于B，B包含于C，则必有A包含于C。如：A={1，2，3}，B={1，2，3，4}，C={1，2，3，4，5}就是这种情况。