Individual term

Individual term is an expression in predicate logic which can figure as an argument of a predicate and which denotes an individual in the universe of discourse. Mostly used as a cover term for individual constants and individual variables. Both refer to entities or individuals in a universe of discourse. In predicate logic language, individual terms are represented with lowercase characters.