Para establecer un Sistema formal se establecen las definiciones de los operadores.