Completarea spațiilor metrice.