（1）由A∩B=A可以推得A包含于B,
∴A∩B=A是A包含于B的充分条件.
（2）由A包含于B可以推得A∩B=A,
∴A∩B=A是A包含于B的必要条件.
∴A∩B=A是A是B子集的充要条件.