irredundant

[ریاضیات] نا فزونه، غیر زائد