離散函數

離散函數：定義域是離散集合的函數稱為離散函數。其函數圖像為一系列離散的點。

研究中根據離散函數的定義域主要分有二大類：有限集與可列集。

有限集：基數為有限個數的集合。（屬於自然數集的真子集）

若定義域和值域都為有限集，其研究研究的主要理論依據為鴿洞原理（對一個非一對一函數充分性的判別）。

可列集(enumerable)：與自然數集等勢的集合，即可以與自然數集進行一一映射的集合（如自然數集、有理數集、代數數集等，但不包含實數集、複數集、直線點集、平面點集等）。

離散數值函數：定義域是自然數集，值域是實數域的離散函數。