叙述関数について

叙述関数は別名プレディケート(predicate)とも呼ばれます。

→bool値を返す関数のことです。