関数型プログラミングの特徴であり、入力が同じであれば常に同じ出力が返され、副作用がない性質を何というか。

同じ入力には常に同じ出力を返し、副作用がない性質。