関数型プログラミングにおいて、関数が外部の状態を変更せず、同じ引数に対して常に同じ結果を返す性質を何というか。

副作用がなく、式の値がその引数のみに依存する性質を参照透過性と呼ぶ。