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

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

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

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