в логике - неопределенное имя предмета из некоторой выделеннойпредметной области - области значений этой переменной.
