[[第一級関数]]をサポートしているプログラミング言語において、以下のうち1つ以上を満たす関数のこと。 - 引数に関数を渡せる - 式や関数で関数を返却できる