Let be a Structure and . The substructure of generated by is the intersection of all Substructures of containing .