eigenvariable

/AY1 JH AH0 N V EH1 R IY0 AH0 B AH0 L/
noun
  1. 1

    (mathematics, logic) A kind of term in natural deduction.