gyrogroup noun1 •A groupoid whose binary operation satisfies certain axioms, used with gyrovectors. formsgyrogroups
