for example, if formula_168 is a finite set of variables and formula_359, one can state that formula_23 is "truth equivalent to" formula_27 "relative to" formula_168 (formula_363) in case formula_364 for any structure formula_49 and any team formula_150 "of domain" formula_168.