设有关系模式R（A，B，C，D），F是R上成立的FD集，F＝{AB→C，D→A}，则属性集（CD）的闭包（CD）⁺为（）