Gyrovectors are equivalence classes of directed gyrosegments that add according to the gyroparallelogram law just as vectors are equivalence classes of directed segments that add according to the ...