 Team semantics, first developed by Wilfrid Hodges in the context of independence friendly logic (Hodges 1997), is a generalization of Tarski’s semantics for first order logic to the case of multiple assignments of elements to variables. Sets of such assignments, called teams for historical reasons, constitute the fundamental semantic notion of team semantics, and formulas are satisfied or not satisfied with respect to them rather than with respect to single assignments. The connection between team semantics and Tarski semantics is shown by the following result, which holds in dependence logic as well as in all its first order variants: