Сигнатурою називається набір Σ = (R, F, C, ρ) складається з множин:

• R - Безліч символів для відносин (предикатів),
• F - Безліч функціональних символів,
• C - Безліч символів констант
• і функції ρ - Зіставляти елементам R і F їх арность.