代入法則

我流の同値関係を元に法則性を見つけます。人の認識としてa=b⇒a*c=b*c"*"は広い意味での演算を表しています。どう解決しようかと考えたら、やっぱり同値関係の法則として定義すべきなのかなと。代入法則加法まずは加法の代入法則から。こんな感...