 Team definability in dependence logic  A set \(\mathcal X\) of teams over a model \(M\) and a set \(V\) of variables is of the form \(\{X : M, X \models \phi\}\) for some dependence logic formula \(\phi\), with free variables in \(V\), if and only if