Enviar Registro por Correo electrónico: Algebraic formalization of smart systems :