The construction of HNN-extensions of involutive Hom-associative algebras and involutive Hom-Lie algebras is described. Then, as an application of HNN-extension, by using the validity of Poincaré-Birkhoff-Witt theorem for involutive Hom-Lie algebras, we provide an embedding theorem.