プロジェクトのスコープ定義において、「前提条件」と「制約条件」の違いとして適切なものはどれか。

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