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

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

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

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