In
model theory, a branch of
mathematical logic, a complete theory
T is said to satisfy
NIP (or "not the independence property") if none of its formulae satisfy the
independence property, that is if none of its formulae can pick out any given subset of an arbitrarily large finite set.