An injective Structure Homomorphism is an embedding. Theorem Let be an -Homomorphism. Then is an embedding if and only if For any quantifier free formula and : Proof By formula complexity…