Математическая энциклопедия

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

Индивидная Константа
ИНДИВИДНАЯ КОНСТАНТА

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

С. К. Соболев.

Математическая энциклопедия. — М.: Советская энциклопедия 1977—1985