Definition:Discrete Metric