A predicate symbol (or relation symbol) with some valence (or arity, number of arguments) greater than or equal to 0.
Predikátový symbol (relační symbol) s určitou valencí (tj. aritou, počtem argumentů) větší nebo rovnou 0.