组合完全性

combinatorial completeness