  We say that A is saturated if whenever X is a set of elements of A, of cardinality less than that of A, and B is any elementary extension of A, we always have that every element of B has the same type over X as some element already in A. 