Индивидная Константа

Предметная констант а,- символ формального языка, служащий для обозначение нек-рого выделенного, фиксированного элемента (индивида) в структурах, описываемых этим языком. Всякую И. к. можно рассматривать как 0-местную функциональную константу. Напр., язык теории полей содержит две И. к.: О и 1, а язык проективной геометрии совсем не содержит И. к. С. К. Соболев.