Definition:Archimedean Division Ring Norm