Etymology
Today it means: A type of vector for which addition is defined by a formula that satisfies the axioms for a gyrogroup. Full definition →
From gyro- + vector.
Etymology from Wiktionary, CC BY-SA 4.0.