- ある入力が与えられたとき、条件を満たした場合に`true`, そうでない場合に`false`を返す関数 - 条件自体は関数によって異なる