集合的语言定义函数的概念

设两个非空数集A,B.若对任意x∈A，通过对应法则f,都有惟一的y∈B与之对应,则称y是x的函数，记为y＝f(x)。
集合A叫定义域.这就是用集合语言定义的函数。
此外，集合A=｛x│y＝f(x)｝。
若集合D＝｛y│y＝f(x)｝是函数的值域，则集合D是集合B的子集。
韦恩图一般用来表示集合之间的包含、运算关系。由于函数的本质是映射，故用韦恩图无法准确表达一般的函数概念。但是，在上述定义下，给出示意图是可以的。