gyroaddition noun1 •A gyrovector space addition.From this we prove the structure theorem that every transitive action of a gyrogroup can be realized as a gyrogroup action by left gyroaddition. — 2016 formsgyroadditions