Definition, synonyms and related words
A groupoid whose binary operation satisfies certain axioms, used with gyrovectors.