A morphism is an elementary -embedding if for any -formula and :