Definition:Euclidean Valuation