对于数集A中的每一个x，按照某种对应关系f,在数集B中都有唯一确定的y,和它对应，记作 f：A→B.