Etymology
Today it means: Containing no redundant constraint. Full definition →
From ir- (“not”) + redundant.
Etymology from Wiktionary, CC BY-SA 4.0.