Oración 1: digamos M(a,b) (a,b)(Cf )M = (c)
Oración 2: esta aplicación se puede extender naturalmente a k(x)
Relación: neutral
Género: theses