Let be a fixed signature, and and structures for . We say is a substructure of , denoted , if for all we have , and the inclusion map is an embedding.