Let and be -Structures with . Let be the inclusion map. Suppose is an -Embedding. Then is a substructure of written We also say is the extension of .