第一級関数は概念としてはもっと広いですね。ただの高階関数（高階メソッド）な気がします。