Individual constant

In first-order logic, symbols stand for individually named things (object, person, place, time,and so on). An individual constant is assumed to denote one, and only one, thing.