universal structure
Let be a first order language, and let be an elementary class of -structures.Let be a cardinal. be the set of structures from with cardinality less than or equal to .
Let .Suppose that for every there is an embedding of into .Then we say is universal
.