quantified variable

Переменная под знаком квантора, квантифицируемая переменная