的小概念 1错在哪了.还有那个符号是什么意思

“集合A不是集合B的子集”和“对任意x属于集合A都有x不属于集合B”互为充要条件.
集合A和集合B如果有交集,就有元素同时属于集合A和集合B（在交集里的元素）
那个双箭头是“互为充要条件”的意思.它两端可以互相推出.
再问： AB之间的符号是什么意思 这句话错在哪了。。
再答： 不是B的子集。 集合A和集合B如果有交集，就有元素同时属于集合A和集合B（在交集里的元素） 所以后面推不出前面。
再问： 这句话如果把任意改为存在 是不是就对了？
再答： 还得加上B不是空集。