Сигнатурой называется набор состоящий из множеств:

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