a_1是一由定义域formula_2映射至到达域formula_3的函数。设formula_4是定义域formula_2的元素，formula_4在formula_1之下的像便是formula_8。设formula_9是定义域formula_2的子集，formula_9在formula_1之下的像便是
原像.令formula_1是一由定义域formula_2映射至到达域formula_3的函数。设formula_18是到达域formula_3的子集，formula_18