Podemos definir la operación "seguida por", denotada por →, como