Debido a que una relación como la anterior define de manera única un predicado n-ario que vale para formula_3 si y sólo si formula_4 está en formula_5, y viceversa, la relación y el predicado se denotan a menudo con el mismo símbolo.