离散数学 函数

函数

函数 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
无限集必与他的一个真子集等势；
凡不能与自身的任一真子集等势的集合为有限集；
凡能与自身的某一真子集等势的集合称为无限集，否则称为有限集。