如何代数证明集合A包含于B,B包含于C,那么A包含于C