是真命题
证明:假设a∈A
∵A真包含于B ∴a∈B
又∵B真包含于C∴a∈C
然而,假设b∈C,且b不属于B,
∵A真包含于B,∴b不属于A
则有:
a∈A,则a∈C,而b属于C,b不属于A
故A真包含于C成立