什么叫做f是集合A上的一个映射 不是f是法则么