Simplicité

Propriété de séparation en théorie des modèles : une théorie complète du premier ordre est dite simple si elle admet une notion d'indépendance (forking) bien comportée qui généralise le cas stable. Équivalemment, les théories simples excluent la propriété d'arbre (TP) qui produit des motifs de forking pathologiques.