Noun
(logic, linguistics) A substitute; something that substitutes for another.
(linguistics) A substituendum; something to be substituted or replaced.