西安电子科技大学S3.1.5集合的运算及性质软件学院教茶务『定理J设A和B是全集U的任意子集，若ACB，则BCA。证明：AB台(Vx)(EA-→xEB)台(Vx)(-(xEB)→-(xEA))台(Vx)(XEB→EA)B≤A西安电子科技大学 §3.1.5 集合的运算及性质 软件学院