Um predicado n-ário (ou relação n-ária) é um conjunto de n-uplos.
Se 
o domínio de um
predicado n-ário 
é o conjunto dos 
-uplos 
tais que para algum
se tem 
.
é uma função de n
variáveis se é uma relação 
-ária tal que, para qualquer elemento do domíno de
, 
, existe um único verificando 
. Escreve-se
.
O quantificador universal, 
traduz
"para todos", "para cada", "para qualquer", ...
O quantificador existêncial, 
, traduz
"existe", "existe um elemento", "existe pelo menos um elemento",
...