完備

• 距離空間の完備 -- コーシー列は収束する
• 完備測度 -- ゼロ集合の部分集合が可測でゼロ
• 完備束 -- 部分集合のsup, infを持つ。
• 圏が極限のクラスに対して完備
• リーマン多様体が完備