A 包含于B,相当于：任意的集合A中的元素属于 B
B包含于C,等价于：集合B中的任意元素属于C.
于是,对于集合A中的任意元素x,x属于集合B; 因为x属于B,B包含于C,所以x属于C.
所以,A 包含于C.