不对?A可以推出B,B又可以推导出A,才是充要条件.A称为B,可能A只是B的狭义,导致B的含义还宽.