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