| 영문명 |
한글명 |
| analytic substitution |
해석적 치환 |
| axiom of substitution |
치환공리 |
| back substitution |
역대입법 |
| congruence substitution property |
합동대입성질 |
| forward substitution |
전진대입 |
| integration by substitution |
치환적분 |
| method of substitution |
대입법 |
| method of successive substitution |
연속대입법 |
| substitution |
대입, 치환 |
| substitution function |
대체함수 |
| substitution property |
대입성질 |