Definition:Non-Archimedean Division Ring Norm