A属于B能否推出A∩B=A或者后者推出前者