离散数学

函数性质

定义

  • 单函数 $:=$ $B$ 不重
  • 满函数 $:=$ $B$ 不空
  • 双函数 $:=$ 单函数 $\land$ 满函数