Consiste en una regla de transformación simple (sustitución de variables) y un esquema simple para definir funciones.