Definition 17.1. Given κ≥|L|+ℵ0, we say T is κ-stable if for any M⊨T, |M|=κ we have |S1(M)|=κ.
We say T is stable if it is κ-stable for some κ.