計算機科学において、第一級関数(だいいっきゅうかんすう、、ファーストクラスファンクション)とは、関数を第一級オブジェクトとして扱うことのできるプログラミング言語の性質、またはそのような関数のことである。