Laurent series
さらに、これらの体の位相は、"p"-進体もしくは有限体上の一変数ローラン級数体上の非アルキメデス付値によって得られる距離による距離空間と同相である。