同じ入力に対して同じ出力が得られることでしょうか。

6:34 AM

副作用がある関数や、参照透過でない関数は含まないとして、

6:34 AM

入出力が同じであることが確かめられないといけないので、インスタンスの equality を考えないといけないですね。