Resumen

Damos una construcción del monoide libre con identidad sobre un objeto X, M (X). Donde

M(X)= R \in \Omega^{NxNxX/R} es funcional y \_n \in N dom R=(n)} -----> ix  \Omega^{NxNxX/R}.