离散函数

定义域是离散集合的函数，称为离散函数。其定义域和值域都可以是任意集合。研究中主要分为二大类：有限集与可列集。