I tried to check the definition of divergent sequences in many places. All of them define divergent sequence as a sequence which is not convergent.
I wonder if a Cauchy sequence (which is not convergent in a non-complete normed space) is still called a divergent sequence.