Etymology
Today it means: A groupoid whose binary operation satisfies certain axioms, used with gyrovectors. Full definition →
From gyro- + group.
Etymology from Wiktionary, CC BY-SA 4.0.