在A到B的对应中,确定是否为函数的关系 为什么AB首先是数集