Definition:Convergent Complex Sequence