B上A 定义所有从A到B的函数的集合记作B4, 读作“B上A”,符号化表示为 B={f|f:A→B} 计数: 4|=m,|B|=n,且m,n>0,|B4=n A=,则B4=B={∞} A且B=,则B4=②4=5 B上A 定义 所有从 A 到 B 的函数的集合记作 BA , 读作“B上A”，符号化表示为 BA ={ f | f：A→B } 计数： |A|=m, |B|=n, 且m, n>0, |BA|=n m. A=, 则 BA=B={}. A≠且B=, 则 BA=A= 