Biy(E) con esa operación determina un grupo—grupo de biyecciones de E— ya