NIP

Abréviation de « Not the Independence Property » : une théorie est NIP si aucune formule n'a la propriété d'indépendance, c'est-à-dire qu'il existe une borne empêchant une formule d'encoder des sous-ensembles arbitraires de tels ensembles finis arbitrairement grands (pas de 'shattering' sans borne).