Definition, synonyms and related words
A type of vector for which addition is defined by a formula that satisfies the axioms for a gyrogroup.