Given a notion of independence (such as forking independence), we say that a set B is independent over another set C when every b in B is independent from {\displaystyle B\setminus \{b\}} over C. ::: ::: :::