Wiktionary
gyrogroup
n. (context mathematics English) A groupoid whose binary operation satisfies certain axioms, used with gyrovectors.