Individual constant

Individual constant is a basic expression of predicate logic which refers to one specific individual in the universe of discourse. For individual constants lowercase characters from the beginning of the alphabet are used.

Link
Utrecht Lexicon of Linguistics