  We examine the question of when the *-homomorphism of full amalgamated free
product C*-algebras \lambda: A *_D B --> A' *_{D'} B', arising from compatible
inclusions of C*-algebras A in A', B in B' and D in D', is an embedding.
Results giving sufficient conditions for \lambda to be injective, as well of
classes of examples where \lambda fails to be injective, are obtained. As an
application, we give necessary and sufficient condition for the full
amalgamated free product of finite dimensional C*-algebras to be residually
finite dimensional.
