简单来说就是定义域内每个x都在值域中存在y与之对应，值域内每个y都在定义域中存在x与之对应，而且定义域内的每一个x必须只对应1个y。再简单点说就是x与y都要互相对上，但1个x只能对应1个y，而y对应的x数量随意。
