“集合A不是集合B的子集”和“对任意x属于集合A都有x不属于集合B”互为充要条件