函数需要用完定义域即 ${\rm dom}f = A$ 。

$B^A$ 读作 $B$ 上 $A$ ，表示 $A \to B$ 上的所有关系集合。