Fuente TeX:
\displaystyle {{f}_{2}}:A\times POSF\times PROP'\to PROP'