Substructures
Definition
Property: Mutual Entailment of qf. formulas
nb. Compare this with the definition of elementary substructure