User:Blackbombchu/Sandbox/Definition:Distance function

A distance function is a function f from R2 to R satisfying the following conditions:
 * For all nonnegative real numbers r, f(r, 0) = r
 * For every origin rotation R, f ∘ R = f