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

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

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

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