この用語はまだ監査を通っていません（未確認）。
代入の性質
だいにゅうのせいしつ 近いが同じではないsubstitution property
名詞 別の言い方 substitution property of equality
見出しの「代入の性質」は学習指導要領解説に無い、本プロジェクトの訳語。日本では「等しいものを代入してよい」を名前のある性質として挙げない。 用例コーパスと参照（CED・OpenStax・IM・CK-12）には決まった言い方が出てこない。
式と読み方
if a equals b and a plus c equals 10, then b plus c equals 10
定義
a = b ならば、式や文の中の a を b に置き換えても成り立つという性質。
The property that if a = b, then b can replace a in any equation or statement without changing whether it is true.
例文
話し言葉 We know angle A is 50 degrees, so by the substitution property we can plug 50 in for angle A in the equation. ∠A は 50° とわかっているので、代入の性質により、式の ∠A に 50 を入れてよい。
書き言葉・答案 Given m∠1 + m∠2 = 180 and m∠1 = m∠3, show that m∠3 + m∠2 = 180. State the property you used. ∠1 + ∠2 = 180°、∠1 = ∠3 のとき、∠3 + ∠2 = 180° となることを示せ。また、使った性質の名前を答えよ。
言い間違えやすいところ
- 動詞の「代入する」は substitute（話し言葉では plug in）。substitution property は証明の理由として書く性質の名前。
- 日本の証明では「∠1 = ∠3 を代入して」と書くだけで、理由に名前を付けない。
- 用例コーパスでは話し言葉にわずかに出てくるだけ（The Organic Chemistry Tutor）で、書き言葉と IM には出てこない。