モジュラスの中に現れるアルキメデス的な付値(無限素点ともいう)は、完備化が複素数ではなく実数になるもののみを含む。