Etymology
Today it means: The addition of an infix. Full definition →
From infix + -ion.
Etymology from Wiktionary, CC BY-SA 4.0.