概念A与概念B之间有( )，当且仅当，对于任一对象x，如果z属于A则z也属于B；并且存在对象y，y属于B但是不属于A。