universal relation
If is a class of -ary relations with as the only free variables
, an -ary formula
is universal
for if for any there is some such that . In other words, can simulate any element of .
Similarly, if is a class of function of , a formula is universal for if for any there is some such that .