Definition 17.1. Given κ|L|+0, we say T is κ-stable if for any MT, |M|=κ we have |S1(M)|=κ.

We say T is stable if it is κ-stable for some κ.