NIP

Abreviatura de “Not the Independence Property”: una teoría es NIP si ninguna fórmula exhibe la propiedad de independencia, es decir, existe una cota que impide que las fórmulas codifiquen subconjuntos arbitrarios de conjuntos finitos arbitrariamente grandes (no hay 'shattering' sin límite).