کاملشده یک فضای متریک (X,d): فضای متریک کامل که (X,d) با یک ایزومتری در آن قرار میگیرد و تصویر آن متراکم است. کاملشده را میتوان به عنوان مجموعه حدهای دنبالههای کوشی از (X,d) در نظر گرفت
صفت
که کاملتر شده است
مثالها
Voici le début du programme complété : Pour changer de couleur dans la brique « couleur ... touchée ? », je clique sur le petit carré « couleur », puis sur un mur. — اینجا شروع برنامه کاملشده است: برای تغییر رنگ در آجر «رنگ ... لمس شده؟»، روی مربع کوچک «رنگ» کلیک میکنم، سپس روی یک دیوار.