离散函数:定义域是离散集合的函数称为离散函数. 离散集合有二大类:有限集与可列集