定义

令 是一由定义域 映射至到达域 的函数。

设 是定义域 的元素， 在 之下的像便是 。

设 是定义域 的子集， 在 之下的像便是

{ 对于有些 }

原像

令 是一由定义域 映射至到达域 的函数。

设 是到达域 的子集， 在 之下的原像便是

{ 对于有些 }