如果B能推出A.那么谁是谁的子集.