Definition:Sup Metric