离散数学
函数性质
定义
单函数/一对一函数 $:=$ $B$ 不重
满函数/映上函数 $:=$ $B$ 不空
双函数/一一映射 $:=$ 单函数 $\land$ 满函数