Asimismo las de reemplazo significan que una expresión puede ser sustituida directamente por su equivalente, a veces como definición.