es decir, "a → b" es el resultado de ejecutar primero "a" y luego "b".