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 B ∖ {b} over C. ::: ::: :::