Сигнатура (математическая логика)

У этого термина существуют и другие значения, см. Сигнатура.

Сигнатура в математической логике и универсальной алгебре — набор символов, специфических для конкретной системы, определяющих её формальный язык. Формально, сигнатура $\Sigma=(R,F,C,\rho)$ — набор множеств:

• $R$ — множество символов для отношений (предикатов),
• $F$ — множество функциональных символов,
• $C$ — множество символов констант
• и функции $\rho$, сопоставляющей элементам $R$ и $F$ их арность.

Сигнатура характеризует алгебраическую систему (алгебру или модель), определяя из каких символов могут состоять её выражения и каким образом они могут быть сконструированы.

Для улучшения этой статьи по математике желательно?: Найти и оформить в виде сносок ссылки на авторитетные источники, подтверждающие написанное. Дополнить статью (статья слишком короткая либо содержит лишь словарное определение).