A Gyrovector (mathematics) A type of vector for which addition is defined by a formula that satisfies the axioms for a gyrogroup.