完備性

英語版）に相当）。完備順序体は同型の違いを除いて実数体ただ一つである（この完備順序体は、束にはなるが完備束にはならないことに注意）。 完備リーマン多様体（英語版） 完備代数多様体（英語版）: 代数幾何学において代数多様体が完備であるとは、それがある種のコンパクト性に類似の性質を満足することを言う。 完全性