Let be a first-order language and let be an infinite -structure. Then if is a cardinal with then there is an -structure such that and .