Un operador de rotación se define por un eje y un ángulo de giro.