関数を[[第一級オブジェクト]]として扱うことのできるプログラミング言語の性質。