AnB=A 为什么要A包含于B下才可以成立