Predikato

Predikato:
 por matematiko esas relato.
 por unesm-ordera logiko esas fundamentala konceptajo.
 por gramatiko uniono di du frazo-konstitucanta.
 por programigado esas operacanto o funciono qua retrodonas booleana valoro, vera o falsa, e predikato esas la selekto pri exekutar or ne exekutar ula instrukto apogata sur la kontenajo di mashino shibro.
 por tipo-teorio di Bertrand Russell esas akto di tipinta, to esas, asignas tipo. Definita deskripto fakte kontenas existo-revendiko.