through this correlation, it is possible to say that, on a structure formula_49, an if formula formula_23 of n free variables "defines" a family of n-ary relations over formula_49 (the family of the relations formula_414 such that formula_420).