单词 irredundant 释义 irredundant, a. Math.|rdndnt|[f. ir-2 + redundant a.]Containing no redundant elements.1925A. Church in Trans. Amer. Math. Soc. XXVII. 318 A set of postulates is irredundant if the postulates are independent and no one of them can be...