已知全集为，定义集合的特征函数为，对于， ，给出下列四个结论：
① 对，有；   ② 对，若，则；
③ 对，有；④ 对，有．
其中，正确结论的序号是
A. ①②④         B. ①③④         C. ②③④          D. ①②③