a_5的映射。记作：formula_10，有时记:formula_11称formula_6为formula_3的像，记作formula_14, 并称formula_3为formula_6的原像。集合formula_2称为映射formula_4的定义域，集合formula_5称为formula_4的陪域。集合formula_21称为映射 f 的值域，集合formula_22亦可记为formula_23，称为formula_2在formula_4作用下的像。