Let be a complete type over some set of parameters , and let be a subset of . One says that **splits** over if for some formula , and having the same type over . Splitting is a weaker condition than dividing, so not splitting is a stronger condition than not dividing. If is a sufficiently saturated model containing , (for example, the monster model), then doesn't split over if and only if is -invariant. ::: ::: :::