离散数学 函数

函数

函数 function

映射 mapping

值 value

象 image

陪域 codomain

有标号的有向图 labeled diagraph

恒等函数 identity function

偏函数 partial function

单射函数 injective function

满射函数 surjective function

双射函数 bijective function

复合函数 composition function

可逆的 invertible

逆函数 inverse function

有限集 finite set

无限集 infinite set

可数（列）无限集 countable infinite set

特征函数 characteristic function

底函数 floor function

顶函数 ceiling function

以2为底的指数函数 base 2 exponential function

散列函数 hashing function

同阶的 same order

置换 permutation

积 product

循环置换 cyclic permutation

对换 transposition

偶 even

奇 odd

无限集必与他的一个真子集等势；

凡不能与自身的任一真子集等势的集合为有限集；

凡能与自身的某一真子集等势的集合称为无限集，否则称为有限集。