The subadditivity axiom may then be replaced by the following strong convexity condition:

A reversible Finsler metric defines a norm (in the usual sense) on each tangent space.