Definition:Valued Field