Definition 15.7 (Saturated). We say $M$ is saturated if it is $|M|$-saturated.