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

Сигнатурой называется набор $\Sigma =(R,F,C,\rho )$ состоящий из множеств:

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