This concept is closely related to that of finite morphism in algebraic geometry; in the simplest case of affine varieties, given two affine varieties formula_9, formula_10 and a dominant regular map formula_11, the induced homomorphism of formula_12-algebras formula_13 defined by formula_14 turns formula_15 into a formula_16-algebra: