es una biyección, por lo que la composición produce una operación en Biy(E).