An embedding theorem for partial algebras and the free completion of a free partial algebra within a primitive class

Let U be any nontrivial primitive class of partial algebras, i.e. there existsA ∈ U with |A|≥2, and U is closed with respect to homomorphic images (in the weak sense), subalgebras (on closed subsets) and cartesian products of U-algebras, and let U _f denote the—also nontrivial and primitive—class of all full U-algebras. Then every U-algebra with at least two elements is a relative algebra of some U _f -algebra. For any U-algebraAsetU _A =U _i εI({i}×(A ^K _i—domf _i ^A )), where (K _i) _i εI is the type under consideration. Furthermore let F(N, U) denote any U-algebra U-freely generated by some setN (and let F (M, U _f ) be similarly defined). Then for every nonempty setM there exists a setN satisfyingM ?N such that there exists a bijective mapping σ:U _{F(N, U)} →N ?M satisfying σ((i, α)) ? α(K _i ) for all (i, α) ∈U _{F (N, U)}, and, for the structureg=(g _i)_iεI defined by ,g _i : =f _i ^{F(N, U)} ∪ {(α, σ((i, α))) | (i, α ∈U _{F(N, U)}} id _M induces an isomorphism betweenF(M, U _f ), and (F(N, U)g).