A definition of an earth gyro.