let formula_213 be a structure and let formula_214 be a finite set of variables. then a team over formula_49 with domain formula_3 is a set of assignments over formula_49 with domain formula_3, that is, a set of functions formula_219 from formula_3 to formula_49.