多项选择题

A.非冗余性
B.健全性
C.互补结合性
D.完备性