A Gyrogroup (mathematics) A groupoid whose binary operation satisfies certain axioms, used with gyrovectors.