Definition 8.1 (Generated by). Given an $L$-structure $M$, a non-empty $A\subseteq M$, the substructure generated by $A$ is the intersection of all substructures containing $A$.