The decomposition $Gamma=BH$ of a group $Gamma$ into a subset B and a subgroup $H$ of $Gamma$ induces, under general conditions, a group-like structure for B, known as a gyrogroup. The famous concrete realization of a gyrogroup, which motivated the emergence of gyrogroups into the mainstream, is the space of all relativistically admissible velocities along with a binary mbox{...