 The triangle inequality is a "defining property" of norms and measures of distance.This property must be established as a theorem for any function proposed for such purposes for each particular space