Метрическое пространство называется полным, если всякая фундаментальная последовательность в нём сходится.