 Specialization of an algebra

If an algebra is defined over a parameter ring $R$, a ring homomorphism $R\to k$ produces a specialized $k$-algebra by extension of scalars. Defining relations specialize by replacing every parameter by its image in $k$.