A type of metric space in which the triangle inequality is replaced by a stronger inequality using max in place of addition