Is bound complete space compact?