Definition:Normed Division Ring